Details

Time bar (total: 14.6s)

sample65.0ms

Algorithm
intervals
Results
32.0ms381×body80valid

simplify115.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (9.0ms)

IterNodesCost
01315
12615
25613
39313
410813
510913
done10913

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ x (* y z))
0.0b
(+ (* a (+ t (* z b))) (+ x (* y z)))
1.8b
(* a (+ t (* z b)))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
7×add-sqr-sqrt flip3-+ flip-+
6×associate-*r/
5×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
4×frac-add sum-log
3×associate-*r* associate-*l*
2×+-commutative distribute-rgt-in associate-+l+ distribute-lft-in
1×associate-+r+ pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 52
Calls
3 calls:
5.0ms
(+ x (* y z))
35.0ms
(+ (* a (+ t (* z b))) (+ x (* y z)))
22.0ms
(* a (+ t (* z b)))

series255.0ms

Counts
3 → 9
Calls
3 calls:
33.0ms
(+ x (* y z))
143.0ms
(+ (* a (+ t (* z b))) (+ x (* y z)))
78.0ms
(* a (+ t (* z b)))

simplify805.0ms

Counts
61 → 61
Iterations

Useful iterations: 2 (218.0ms)

IterNodesCost
0119976
1395895
21640855
done5000855

prune472.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

1.8b
(* a (+ t (* z b)))
5.4b
(cbrt (* a (+ t (* z b))))
5.4b
(cbrt (* a (+ t (* z b))))
5.4b
(cbrt (* a (+ t (* z b))))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt associate-*r/
6×pow1 add-exp-log add-cube-cbrt cbrt-div *-un-lft-identity add-cbrt-cube
4×flip3-+ flip-+ add-log-exp
3×cbrt-prod pow1/3 associate-*r* associate-*l*
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 55
Calls
4 calls:
22.0ms
(* a (+ t (* z b)))
8.0ms
(cbrt (* a (+ t (* z b))))
7.0ms
(cbrt (* a (+ t (* z b))))
8.0ms
(cbrt (* a (+ t (* z b))))

series592.0ms

Counts
4 → 12
Calls
4 calls:
78.0ms
(* a (+ t (* z b)))
161.0ms
(cbrt (* a (+ t (* z b))))
176.0ms
(cbrt (* a (+ t (* z b))))
177.0ms
(cbrt (* a (+ t (* z b))))

simplify1.5s

Counts
67 → 67
Iterations

Useful iterations: done (1.5s)

IterNodesCost
090812
1236787
2714708
32377684
done5000648

prune358.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

2.2b
(cbrt (+ t (* z b)))
5.4b
(cbrt (* (* a (* (cbrt (+ t (* z b))) (cbrt (+ t (* z b))))) (cbrt (+ t (* z b)))))
5.4b
(cbrt (* a (+ t (* z b))))
5.4b
(cbrt (* a (+ t (* z b))))

rewrite182.0ms

Algorithm
rewrite-expression-head
Rules
86×cbrt-div
36×associate-*r/
30×flip3-+ flip-+
28×frac-times
14×associate-*l/
6×cbrt-prod
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
Counts
4 → 70
Calls
4 calls:
3.0ms
(cbrt (+ t (* z b)))
158.0ms
(cbrt (* (* a (* (cbrt (+ t (* z b))) (cbrt (+ t (* z b))))) (cbrt (+ t (* z b)))))
6.0ms
(cbrt (* a (+ t (* z b))))
10.0ms
(cbrt (* a (+ t (* z b))))

series539.0ms

Counts
4 → 12
Calls
4 calls:
137.0ms
(cbrt (+ t (* z b)))
147.0ms
(cbrt (* (* a (* (cbrt (+ t (* z b))) (cbrt (+ t (* z b))))) (cbrt (+ t (* z b)))))
128.0ms
(cbrt (* a (+ t (* z b))))
127.0ms
(cbrt (* a (+ t (* z b))))

simplify3.3s

Counts
82 → 82
Iterations

Useful iterations: done (3.3s)

IterNodesCost
02072470
14552339
29782106
319711997
444321881
done50001869

prune437.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

1.8b
(* a (+ t (* z b)))
5.4b
(cbrt (* a (+ t (* z b))))
5.4b
(cbrt (* a (+ t (* z b))))
5.4b
(cbrt (* (* (cbrt a) (cbrt a)) (* (cbrt a) (+ t (* z b)))))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
10×associate-*r/
8×add-sqr-sqrt
6×pow1 add-exp-log add-cube-cbrt cbrt-div *-un-lft-identity add-cbrt-cube
4×flip3-+ flip-+ add-log-exp
3×cbrt-prod pow1/3 associate-*r* associate-*l*
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 55
Calls
4 calls:
17.0ms
(* a (+ t (* z b)))
6.0ms
(cbrt (* a (+ t (* z b))))
7.0ms
(cbrt (* a (+ t (* z b))))
70.0ms
(cbrt (* (* (cbrt a) (cbrt a)) (* (cbrt a) (+ t (* z b)))))

series567.0ms

Counts
4 → 12
Calls
4 calls:
77.0ms
(* a (+ t (* z b)))
143.0ms
(cbrt (* a (+ t (* z b))))
170.0ms
(cbrt (* a (+ t (* z b))))
177.0ms
(cbrt (* (* (cbrt a) (cbrt a)) (* (cbrt a) (+ t (* z b)))))

simplify2.1s

Counts
67 → 67
Iterations

Useful iterations: done (2.1s)

IterNodesCost
0108903
1276878
2879785
33062721
done5000655

prune395.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes338.0ms

Accuracy

56.9% (1.1b remaining)

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

bsearch104.0ms

Steps
ItersRangePoint
10
5.5031853780884506e-248
2.9957564890924207e-237
9.108876548869237e-243
5
-4.152975783989734e-76
-1.1221285923239357e-76
-1.633099719810372e-76

simplify4.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
02349
13737
done3737

end0.0ms

sample2.2s

Algorithm
intervals
Results
825.0ms11840×body80valid