Details

Time bar (total: 14.0s)

sample74.0ms

Algorithm
intervals
Results
44.0ms381×body80valid

simplify118.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (14.0ms)

IterNodesCost
01315
12615
25613
39313
410813
510913
done10913

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize23.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)))

rewrite68.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:
11.0ms
(+ x (* y z))
25.0ms
(+ (* a (+ t (* z b))) (+ x (* y z)))
28.0ms
(* a (+ t (* z b)))

series253.0ms

Counts
3 → 9
Calls
3 calls:
36.0ms
(+ x (* y z))
132.0ms
(+ (* a (+ t (* z b))) (+ x (* y z)))
85.0ms
(* a (+ t (* z b)))

simplify981.0ms

Counts
61 → 61
Iterations

Useful iterations: 2 (276.0ms)

IterNodesCost
0119976
1395895
21640855
done5000855

prune179.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize15.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))))

rewrite40.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:
15.0ms
(* a (+ t (* z b)))
6.0ms
(cbrt (* a (+ t (* z b))))
6.0ms
(cbrt (* a (+ t (* z b))))
12.0ms
(cbrt (* a (+ t (* z b))))

series467.0ms

Counts
4 → 12
Calls
4 calls:
88.0ms
(* a (+ t (* z b)))
124.0ms
(cbrt (* a (+ t (* z b))))
126.0ms
(cbrt (* a (+ t (* z b))))
129.0ms
(cbrt (* a (+ t (* z b))))

simplify1.6s

Counts
67 → 67
Iterations

Useful iterations: done (1.6s)

IterNodesCost
090812
1236787
2714708
32377684
done5000648

prune337.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize25.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))))

rewrite153.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)))
127.0ms
(cbrt (* (* a (* (cbrt (+ t (* z b))) (cbrt (+ t (* z b))))) (cbrt (+ t (* z b)))))
6.0ms
(cbrt (* a (+ t (* z b))))
12.0ms
(cbrt (* a (+ t (* z b))))

series624.0ms

Counts
4 → 12
Calls
4 calls:
127.0ms
(cbrt (+ t (* z b)))
155.0ms
(cbrt (* (* a (* (cbrt (+ t (* z b))) (cbrt (+ t (* z b))))) (cbrt (+ t (* z b)))))
178.0ms
(cbrt (* a (+ t (* z b))))
163.0ms
(cbrt (* a (+ t (* z b))))

simplify3.1s

Counts
82 → 82
Iterations

Useful iterations: done (3.1s)

IterNodesCost
02072470
14552339
29782106
319711997
444321881
done50001869

prune430.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)))))

rewrite73.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:
15.0ms
(* a (+ t (* z b)))
6.0ms
(cbrt (* a (+ t (* z b))))
6.0ms
(cbrt (* a (+ t (* z b))))
44.0ms
(cbrt (* (* (cbrt a) (cbrt a)) (* (cbrt a) (+ t (* z b)))))

series551.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(* a (+ t (* z b)))
170.0ms
(cbrt (* a (+ t (* z b))))
150.0ms
(cbrt (* a (+ t (* z b))))
142.0ms
(cbrt (* (* (cbrt a) (cbrt a)) (* (cbrt a) (+ t (* z b)))))

simplify2.0s

Counts
67 → 67
Iterations

Useful iterations: done (2.0s)

IterNodesCost
0108903
1276878
2879785
33062721
done5000655

prune463.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes276.0ms

Accuracy

56.9% (1.1b remaining)

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

bsearch115.0ms

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

simplify5.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
02349
13737
done3737

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.4s11840×body80valid