Details

Time bar (total: 25.8s)

sample26.0ms

Algorithm
intervals
Results
13.0ms317×body80valid

simplify10.2s

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

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

rewrite33.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:
6.0ms
(+ x (* y (+ z x)))
26.0ms
(* y (+ z x))

series72.0ms

Counts
2 → 6
Calls
2 calls:
31.0ms
(+ x (* y (+ z x)))
40.0ms
(* y (+ z x))

simplify3.2s

Counts
44 → 44
Iterations
IterNodes
done5004
34149
2686
1202
068

prune167.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 2 expressions with local error:

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

rewrite50.0ms

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

series95.0ms

Counts
2 → 6
Calls
2 calls:
48.0ms
(+ x (* y z))
47.0ms
(+ (+ x (* y z)) (* y x))

simplify2.0s

Counts
32 → 32
Iterations
IterNodes
done5003
32242
2602
1166
055

prune134.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (cbrt y) (cbrt y))
0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 77
Calls
4 calls:
12.0ms
(* (cbrt y) (cbrt y))
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series1.3s

Counts
4 → 12
Calls
4 calls:
369.0ms
(* (cbrt y) (cbrt y))
338.0ms
(cbrt y)
318.0ms
(cbrt y)
313.0ms
(cbrt y)

simplify3.1s

Counts
89 → 89
Iterations
IterNodes
done5001
43895
31039
2380
1138
063

prune345.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.7b
(cbrt (cbrt y))
0.7b
(cbrt (cbrt y))
0.7b
(cbrt (cbrt y))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
30×cbrt-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 add-log-exp
Counts
4 → 57
Calls
4 calls:
1.0ms
(cbrt y)
3.0ms
(cbrt (cbrt y))
3.0ms
(cbrt (cbrt y))
3.0ms
(cbrt (cbrt y))

series1.5s

Counts
4 → 12
Calls
4 calls:
246.0ms
(cbrt y)
361.0ms
(cbrt (cbrt y))
427.0ms
(cbrt (cbrt y))
429.0ms
(cbrt (cbrt y))

simplify2.2s

Counts
69 → 69
Iterations
IterNodes
done5059
53059
4888
3342
2172
179
044

prune390.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes163.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done11
111
07

end0.0ms

sample669.0ms

Algorithm
intervals
Results
387.0ms9946×body80valid