Details

Time bar (total: 14.0s)

sample34.0ms

Algorithm
intervals
Results
20.0ms299×body80valid

simplify43.0ms

Counts
1 → 1
Iterations
IterNodes
done67
567
463
346
224
111
07

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.9b

localize21.0ms

Local error

Found 1 expressions with local error:

3.9b
(* x (- 1.0 (* y z)))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
7×*-un-lft-identity associate-*r*
4×associate-*l*
3×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ distribute-lft-out-- difference-of-squares unswap-sqr
1×flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod insert-posit16 flip-- add-log-exp
Counts
1 → 29
Calls
1 calls:
64.0ms
(* x (- 1.0 (* y z)))

series75.0ms

Counts
1 → 3
Calls
1 calls:
75.0ms
(* x (- 1.0 (* y z)))

simplify1.8s

Counts
32 → 32
Iterations
IterNodes
done5005
31541
2443
1158
061

prune130.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 2.4b

localize13.0ms

Local error

Found 1 expressions with local error:

7.1b
(* x (- (* y z)))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
34×associate-*r*
15×add-sqr-sqrt
12×distribute-lft-neg-in distribute-rgt-neg-in
9×*-un-lft-identity associate-*l* add-cube-cbrt
3×pow1 add-cbrt-cube add-exp-log *-commutative unswap-sqr
1×neg-mul-1 pow-prod-down prod-exp distribute-rgt-neg-out cbrt-unprod insert-posit16 add-log-exp
Counts
1 → 45
Calls
1 calls:
48.0ms
(* x (- (* y z)))

series44.0ms

Counts
1 → 3
Calls
1 calls:
43.0ms
(* x (- (* y z)))

simplify3.3s

Counts
48 → 48
Iterations
IterNodes
done5000
34783
2869
1221
086

prune239.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 1 expressions with local error:

4.5b
(* (* x (- z)) y)

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
22×associate-*l*
14×add-sqr-sqrt
13×associate-*r*
7×*-un-lft-identity add-cube-cbrt
6×pow1 add-cbrt-cube add-exp-log
4×unswap-sqr
3×distribute-lft-neg-in distribute-rgt-neg-in pow-prod-down prod-exp cbrt-unprod
2×*-commutative
1×distribute-lft-neg-out neg-mul-1 distribute-rgt-neg-out insert-posit16 add-log-exp
Counts
1 → 40
Calls
1 calls:
80.0ms
(* (* x (- z)) y)

series31.0ms

Counts
1 → 3
Calls
1 calls:
30.0ms
(* (* x (- z)) y)

simplify2.1s

Counts
43 → 43
Iterations
IterNodes
done5003
32600
2525
1179
074

prune150.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt z)
0.7b
(cbrt z)
1.6b
(* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))
4.9b
(* x (* y (* (cbrt z) (cbrt z))))

rewrite708.0ms

Algorithm
rewrite-expression-head
Rules
207×add-sqr-sqrt
170×associate-*r*
114×unswap-sqr
86×associate-*l*
74×cbrt-prod
46×add-cbrt-cube
37×cbrt-unprod
36×*-un-lft-identity add-cube-cbrt
27×pow1 add-exp-log
22×swap-sqr
16×pow-prod-down prod-exp
12×*-commutative
6×distribute-lft-neg-in distribute-rgt-neg-in
4×insert-posit16 add-log-exp
2×pow1/3
1×neg-mul-1 distribute-rgt-neg-out
Counts
4 → 216
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
551.0ms
(* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))
147.0ms
(* x (* y (* (cbrt z) (cbrt z))))

series651.0ms

Counts
4 → 12
Calls
4 calls:
271.0ms
(cbrt z)
218.0ms
(cbrt z)
54.0ms
(* (* x (* y (* (cbrt z) (cbrt z)))) (- (cbrt z)))
107.0ms
(* x (* y (* (cbrt z) (cbrt z))))

simplify1.9s

Counts
228 → 228
Iterations
IterNodes
done5001
23509
1920
0278

prune915.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes320.0ms

Accuracy

77.4% (1.0b remaining)

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

bsearch2.0ms

simplify14.0ms

Iterations
IterNodes
done65
365
257
143
025

end0.0ms

sample1.2s

Algorithm
intervals
Results
1.0s9514×body80valid