Details

Time bar (total: 17.5s)

sample94.0ms

Algorithm
intervals
Results
39.0ms510×body80valid

simplify2.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01819
13219
27719
323219
482119
5280219
done500119

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.6b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x y) (* z t))
0.0b
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
0.1b
(* (+ a (* b c)) c)
11.0b
(* (* (+ a (* b c)) c) i)

rewrite152.0ms

Algorithm
rewrite-expression-head
Rules
14×associate-*l/
11×pow1 add-exp-log add-cbrt-cube add-log-exp
9×add-sqr-sqrt
7×add-cube-cbrt *-un-lft-identity flip3-+ flip-+
6×associate-*r*
4×associate-*l* pow-prod-down prod-exp frac-sub cbrt-unprod
2×diff-log sum-log *-commutative
1×+-commutative sub-neg flip3-- associate--l+ flip-- unswap-sqr
Counts
4 → 69
Calls
4 calls:
15.0ms
(+ (* x y) (* z t))
72.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
18.0ms
(* (+ a (* b c)) c)
44.0ms
(* (* (+ a (* b c)) c) i)

series1.1s

Counts
4 → 12
Calls
4 calls:
57.0ms
(+ (* x y) (* z t))
851.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
62.0ms
(* (+ a (* b c)) c)
86.0ms
(* (* (+ a (* b c)) c) i)

simplify1.6s

Counts
81 → 81
Iterations

Useful iterations: 2 (367.0ms)

IterNodesCost
01471423
14441333
223861235
done50011235

prune435.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 1.8b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ a (* b c))
0.0b
(+ (* x y) (* z t))
0.0b
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* i c)))
6.0b
(* (+ a (* b c)) (* i c))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
13×add-log-exp
9×pow1 add-exp-log add-cbrt-cube
7×flip3-+ flip-+
6×associate-*l/
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×frac-sub
3×associate-*l* pow-prod-down prod-exp sum-log cbrt-unprod
2×+-commutative diff-log
1×sub-neg flip3-- associate-*r* associate--l+ *-commutative flip--
Counts
4 → 60
Calls
4 calls:
6.0ms
(+ a (* b c))
8.0ms
(+ (* x y) (* z t))
55.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* i c)))
28.0ms
(* (+ a (* b c)) (* i c))

series911.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(+ a (* b c))
62.0ms
(+ (* x y) (* z t))
734.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* i c)))
72.0ms
(* (+ a (* b c)) (* i c))

simplify969.0ms

Counts
72 → 72
Iterations

Useful iterations: 2 (219.0ms)

IterNodesCost
01291315
14051225
218681145
done50001145

prune337.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 1.8b

localize37.0ms

Local error

Found 4 expressions with local error:

2.4b
(* (* (cbrt (+ a (* b c))) (cbrt (+ a (* b c)))) (* (cbrt (+ a (* b c))) (* i c)))
2.7b
(cbrt (+ a (* b c)))
2.7b
(cbrt (+ a (* b c)))
2.7b
(cbrt (+ a (* b c)))

rewrite133.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
32×associate-*l/
30×flip3-+ flip-+
28×frac-times
25×pow1 add-exp-log
15×pow-prod-down prod-exp add-cbrt-cube cbrt-unprod
9×cbrt-prod
8×associate-*r/
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×add-log-exp
3×pow1/3
1×associate-*r* associate-*l* *-commutative
Counts
4 → 93
Calls
4 calls:
117.0ms
(* (* (cbrt (+ a (* b c))) (cbrt (+ a (* b c)))) (* (cbrt (+ a (* b c))) (* i c)))
3.0ms
(cbrt (+ a (* b c)))
3.0ms
(cbrt (+ a (* b c)))
4.0ms
(cbrt (+ a (* b c)))

series456.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(* (* (cbrt (+ a (* b c))) (cbrt (+ a (* b c)))) (* (cbrt (+ a (* b c))) (* i c)))
123.0ms
(cbrt (+ a (* b c)))
125.0ms
(cbrt (+ a (* b c)))
124.0ms
(cbrt (+ a (* b c)))

simplify1.1s

Counts
105 → 105
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01692969
15152819
219282303
done50012078

prune477.0ms

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 1.8b

localize29.0ms

Local error

Found 4 expressions with local error:

6.0b
(* (* i c) (+ a (* b c)))
10.6b
(cbrt (* (* i c) (+ a (* b c))))
10.6b
(cbrt (* (* i c) (+ a (* b c))))
10.6b
(cbrt (* (* i c) (+ a (* b c))))

rewrite123.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log add-cbrt-cube
8×associate-*r/
6×cbrt-div
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×flip3-+ flip-+ add-log-exp
3×cbrt-prod pow1/3 associate-*r* pow-prod-down prod-exp cbrt-unprod
1×distribute-rgt-in distribute-lft-in associate-*l* *-commutative
Counts
4 → 55
Calls
4 calls:
41.0ms
(* (* i c) (+ a (* b c)))
33.0ms
(cbrt (* (* i c) (+ a (* b c))))
25.0ms
(cbrt (* (* i c) (+ a (* b c))))
20.0ms
(cbrt (* (* i c) (+ a (* b c))))

series525.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(* (* i c) (+ a (* b c)))
156.0ms
(cbrt (* (* i c) (+ a (* b c))))
144.0ms
(cbrt (* (* i c) (+ a (* b c))))
162.0ms
(cbrt (* (* i c) (+ a (* b c))))

simplify977.0ms

Counts
67 → 67
Iterations

Useful iterations: done (975.0ms)

IterNodesCost
0104986
1312957
21752841
done5000826

prune431.0ms

Pruning

11 alts after pruning (7 fresh and 4 done)

Merged error: 1.8b

regimes1.3s

Accuracy

0% (1.1b remaining)

Error of 2.0b against oracle of 0.9b and baseline of 2.0b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01819
12619
done2619

end0.0ms

sample3.6s

Algorithm
intervals
Results
1.8s15126×body80valid