Details

Time bar (total: 23.5s)

sample21.0ms

Algorithm
intervals
Results
10.0ms322×body80valid

simplify10.1s

Counts
1 → 1
Iterations
IterNodes
done5000
434795
424756
414327
404289
393884
383847
373466
363428
353071
343034
332701
322662
312353
302316
292031
281994
271733
261696
251459
241421
231208
221171
21982
20945
19780
18742
17601
16564
15447
14410
13317
12280
11211
10174
9134
8107
766
650
545
439
335
225
115
06

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (* y (+ z x)))
0.0b
(* y (+ z x))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt *-un-lft-identity
4×pow1 add-cbrt-cube associate-*r* add-exp-log add-cube-cbrt add-log-exp
3×associate-*l*
2×distribute-rgt-in associate-+r+ distribute-lft-in flip3-+ associate-*r/ flip-+ insert-posit16
1×+-commutative sum-log pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Counts
2 → 38
Calls
2 calls:
13.0ms
(+ x (* y (+ z x)))
33.0ms
(* y (+ z x))

series71.0ms

Counts
2 → 6
Calls
2 calls:
39.0ms
(+ x (* y (+ z x)))
32.0ms
(* y (+ z x))

simplify2.9s

Counts
44 → 44
Iterations
IterNodes
done5004
34149
2686
1202
068

prune168.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (+ (* y z) (* y x)))
0.0b
(+ (* y z) (* y x))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
4×sum-log *-un-lft-identity
2×add-sqr-sqrt pow1 +-commutative flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16 distribute-lft-out
1×associate-+r+
Counts
2 → 28
Calls
2 calls:
17.0ms
(+ x (+ (* y z) (* y x)))
12.0ms
(+ (* y z) (* y x))

series106.0ms

Counts
2 → 6
Calls
2 calls:
50.0ms
(+ x (+ (* y z) (* y x)))
56.0ms
(+ (* y z) (* y x))

simplify2.0s

Counts
34 → 34
Iterations
IterNodes
done5000
32386
2625
1170
055

prune137.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))
5.1b
(cbrt (* y (+ z x)))
5.1b
(cbrt (* y (+ z x)))
5.1b
(cbrt (* y (+ z x)))

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
20×associate-*r/
18×cbrt-div
11×pow1
10×add-sqr-sqrt
9×flip3-+ pow1/3 flip-+
8×*-un-lft-identity add-cube-cbrt
7×cbrt-prod
6×add-exp-log
4×frac-times add-cbrt-cube swap-sqr associate-*r* associate-*l* insert-posit16 add-log-exp
2×pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 76
Calls
4 calls:
36.0ms
(* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))
13.0ms
(cbrt (* y (+ z x)))
13.0ms
(cbrt (* y (+ z x)))
13.0ms
(cbrt (* y (+ z x)))

series661.0ms

Counts
4 → 12
Calls
4 calls:
205.0ms
(* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))
171.0ms
(cbrt (* y (+ z x)))
143.0ms
(cbrt (* y (+ z x)))
141.0ms
(cbrt (* y (+ z x)))

simplify1.8s

Counts
88 → 88
Iterations
IterNodes
done5001
31695
2684
1273
0110

prune531.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt (+ z x))
5.1b
(cbrt (* y (+ z x)))
5.1b
(cbrt (* y (+ z x)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
8×*-un-lft-identity
6×add-sqr-sqrt cbrt-div add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 associate-*r/ add-exp-log insert-posit16 add-log-exp
3×flip3-+ flip-+
1×distribute-lft-out
Counts
4 → 51
Calls
4 calls:
2.0ms
(cbrt y)
8.0ms
(cbrt (+ z x))
7.0ms
(cbrt (* y (+ z x)))
7.0ms
(cbrt (* y (+ z x)))

series759.0ms

Counts
4 → 12
Calls
4 calls:
299.0ms
(cbrt y)
165.0ms
(cbrt (+ z x))
142.0ms
(cbrt (* y (+ z x)))
153.0ms
(cbrt (* y (+ z x)))

simplify2.7s

Counts
63 → 63
Iterations
IterNodes
done5001
44565
31499
2569
1245
0108

prune440.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes150.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
done11
111
07

end0.0ms

sample708.0ms

Algorithm
intervals
Results
405.0ms10182×body80valid