Details

Time bar (total: 13.1s)

sample73.0ms

Algorithm
intervals
Results
53.0ms331×body80valid

simplify2.0s

Counts
1 → 1
Iterations
IterNodes
22704
21704
20610
19478
18380
17287
16262
15219
14204
13189
12175
11162
10145
9121
899
777
661
550
438
325
220
113
08

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b
(- L (* (- L H) x))
0.0b
(* (- L H) x)

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt
*-un-lft-identity
associate-*l*
pow1 add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
associate-*r*
flip3-- associate-*l/ insert-posit16 flip--
sub-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 36
Calls
2 calls:
12.0ms
(- L (* (- L H) x))
52.0ms
(* (- L H) x)

series114.0ms

Counts
2 → 6
Calls
2 calls:
55.0ms
(- L (* (- L H) x))
59.0ms
(* (- L H) x)

simplify6.6s

Counts
42 → 42
Iterations
IterNodes
46629
31431
2450
1161
071

prune469.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 2 expressions with local error:

0.0b
(* L (- 1 x))
0.0b
(+ (* L (- 1 x)) (* H x))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt
*-un-lft-identity
associate-*r*
distribute-rgt-in pow1 associate-+l+ sub-neg distribute-lft-in add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
associate-*l*
associate-*r/ insert-posit16 difference-of-squares
+-commutative sum-log flip3-+ flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ flip-- distribute-lft-out-- unswap-sqr
Counts
2 → 44
Calls
2 calls:
42.0ms
(* L (- 1 x))
30.0ms
(+ (* L (- 1 x)) (* H x))

series138.0ms

Counts
2 → 6
Calls
2 calls:
71.0ms
(* L (- 1 x))
67.0ms
(+ (* L (- 1 x)) (* H x))

simplify1.2s

Counts
50 → 50
Iterations
IterNodes
32083
2565
1194
080

prune587.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes214.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
27
17
06

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.1s10147×body80valid