Details

Time bar (total: 13.1s)

sample82.0ms

Algorithm
intervals
Results
37.0ms452×body80valid

simplify71.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01515
12615
24815
38115
410215
done10215

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite225.0ms

Algorithm
rewrite-expression-head
Rules
19×add-log-exp
10×sum-log
3×pow1 add-exp-log +-commutative add-sqr-sqrt add-cube-cbrt *-un-lft-identity flip3-+ add-cbrt-cube flip-+
2×associate-+l+
Counts
3 → 38
Calls
3 calls:
174.0ms
(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
15.0ms
(+ (* x y) (* z t))
36.0ms
(+ (+ (* x y) (* z t)) (* a b))

series459.0ms

Counts
3 → 9
Calls
3 calls:
308.0ms
(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
64.0ms
(+ (* x y) (* z t))
87.0ms
(+ (+ (* x y) (* z t)) (* a b))

simplify887.0ms

Counts
47 → 47
Iterations

Useful iterations: 2 (196.0ms)

IterNodesCost
085777
1277719
21361689
done5000689

prune214.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 3 expressions with local error:

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

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
19×add-log-exp
10×sum-log
7×flip3-+ flip-+
5×*-un-lft-identity
4×frac-add
3×pow1 add-exp-log +-commutative add-sqr-sqrt add-cube-cbrt add-cbrt-cube
1×associate-+l+ associate-+r+ distribute-lft-out
Counts
3 → 43
Calls
3 calls:
16.0ms
(+ (* a b) (* i c))
16.0ms
(+ (* x y) (* z t))
54.0ms
(+ (+ (* x y) (* z t)) (+ (* a b) (* i c)))

series459.0ms

Counts
3 → 9
Calls
3 calls:
55.0ms
(+ (* a b) (* i c))
60.0ms
(+ (* x y) (* z t))
344.0ms
(+ (+ (* x y) (* z t)) (+ (* a b) (* i c)))

simplify1.4s

Counts
52 → 52
Iterations

Useful iterations: 2 (267.0ms)

IterNodesCost
0971084
1353998
21837968
done5001968

prune262.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (+ (* x y) (* z t))) (cbrt (+ (* x y) (* z t))))
1.8b
(cbrt (+ (* x y) (* z t)))
1.8b
(cbrt (+ (* x y) (* z t)))
1.8b
(cbrt (+ (* x y) (* z t)))

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
18×cbrt-div
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×flip3-+ pow1/3 flip-+
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×frac-times add-cbrt-cube add-log-exp unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 87
Calls
4 calls:
53.0ms
(* (cbrt (+ (* x y) (* z t))) (cbrt (+ (* x y) (* z t))))
12.0ms
(cbrt (+ (* x y) (* z t)))
9.0ms
(cbrt (+ (* x y) (* z t)))
10.0ms
(cbrt (+ (* x y) (* z t)))

series772.0ms

Counts
4 → 12
Calls
4 calls:
205.0ms
(* (cbrt (+ (* x y) (* z t))) (cbrt (+ (* x y) (* z t))))
184.0ms
(cbrt (+ (* x y) (* z t)))
183.0ms
(cbrt (+ (* x y) (* z t)))
199.0ms
(cbrt (+ (* x y) (* z t)))

simplify1.3s

Counts
99 → 99
Iterations

Useful iterations: done (1.3s)

IterNodesCost
01272030
13351881
211431751
done50001634

prune649.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (+ (* a b) (* i c))) (cbrt (+ (* a b) (* i c))))
0.8b
(cbrt (+ (* a b) (* i c)))
0.8b
(cbrt (+ (* a b) (* i c)))
0.8b
(cbrt (+ (* a b) (* i c)))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
18×cbrt-div
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×flip3-+ pow1/3 flip-+
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×frac-times add-cbrt-cube add-log-exp unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 87
Calls
4 calls:
48.0ms
(* (cbrt (+ (* a b) (* i c))) (cbrt (+ (* a b) (* i c))))
18.0ms
(cbrt (+ (* a b) (* i c)))
9.0ms
(cbrt (+ (* a b) (* i c)))
9.0ms
(cbrt (+ (* a b) (* i c)))

series708.0ms

Counts
4 → 12
Calls
4 calls:
228.0ms
(* (cbrt (+ (* a b) (* i c))) (cbrt (+ (* a b) (* i c))))
152.0ms
(cbrt (+ (* a b) (* i c)))
149.0ms
(cbrt (+ (* a b) (* i c)))
178.0ms
(cbrt (+ (* a b) (* i c)))

simplify1.1s

Counts
99 → 99
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01252030
13331881
211351751
done50001634

prune660.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes618.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01834
12634
done2634

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.5s13613×body80valid