Details

Time bar (total: 3.8s)

sample27.0ms

Algorithm
intervals
Results
9.0ms362×body80valid

simplify22.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0174
1354
2514
3714
4854
5894
6894
done894

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.3b
(- (* x y) (* z t))
8.5b
(/ (- (* x y) (* z t)) a)

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
4×add-exp-log add-cbrt-cube add-log-exp
3×associate-/r* associate-/l*
2×pow1 expm1-log1p-u flip3-- flip-- log1p-expm1-u associate-/l/
1×cbrt-undiv sub-neg frac-2neg fma-neg diff-log div-sub div-exp prod-diff clear-num div-inv
Counts
2 → 48
Calls
2 calls:
9.0ms
(- (* x y) (* z t))
19.0ms
(/ (- (* x y) (* z t)) a)

series112.0ms

Counts
2 → 6
Calls
2 calls:
47.0ms
(- (* x y) (* z t))
65.0ms
(/ (- (* x y) (* z t)) a)

simplify108.0ms

Counts
54 → 54
Iterations

Useful iterations: 3 (103.0ms)

IterNodesCost
0218336
1769309
22931308
35001307
done5001307

prune170.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 8.6b

localize8.0ms

Local error

Found 2 expressions with local error:

0.3b
(+ (* x y) (- (* z t)))
8.5b
(/ (+ (* x y) (- (* z t))) a)

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
6×add-log-exp
4×add-exp-log add-cbrt-cube
3×div-sub associate-/r* associate-/l*
2×pow1 neg-sub0 expm1-log1p-u associate-+r- flip3-+ unsub-neg sum-log flip-+ log1p-expm1-u associate-/l/
1×cbrt-undiv +-commutative fma-def frac-2neg div-exp neg-log clear-num div-inv
Counts
2 → 52
Calls
2 calls:
9.0ms
(+ (* x y) (- (* z t)))
23.0ms
(/ (+ (* x y) (- (* z t))) a)

series107.0ms

Counts
2 → 6
Calls
2 calls:
46.0ms
(+ (* x y) (- (* z t)))
61.0ms
(/ (+ (* x y) (- (* z t))) a)

simplify174.0ms

Counts
58 → 58
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
0220400
1866367
24806360
35001360
done5001360

prune179.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 8.6b

localize9.0ms

Local error

Found 2 expressions with local error:

0.3b
(- (* x y) (* z t))
8.5b
(* (- (* x y) (* z t)) (/ 1 a))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
13×associate-*r*
11×add-exp-log *-un-lft-identity times-frac
10×add-cube-cbrt
7×add-cbrt-cube
4×pow1 prod-exp add-log-exp
3×flip3-- associate-*l* flip-- unswap-sqr
2×expm1-log1p-u frac-times div-exp associate-*l/ cbrt-unprod log1p-expm1-u
1×cbrt-undiv sub-neg rec-exp fma-neg diff-log 1-exp associate-*r/ prod-diff pow-prod-down un-div-inv *-commutative div-inv
Counts
2 → 58
Calls
2 calls:
8.0ms
(- (* x y) (* z t))
36.0ms
(* (- (* x y) (* z t)) (/ 1 a))

series108.0ms

Counts
2 → 6
Calls
2 calls:
45.0ms
(- (* x y) (* z t))
62.0ms
(* (- (* x y) (* z t)) (/ 1 a))

simplify51.0ms

Counts
64 → 64
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0292413
11156361
25001342
done5001342

prune178.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 8.6b

localize11.0ms

Local error

Found 4 expressions with local error:

1.5b
(/ (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t)))) (/ a (cbrt (- (* x y) (* z t)))))
9.7b
(cbrt (- (* x y) (* z t)))
9.7b
(cbrt (- (* x y) (* z t)))
9.7b
(cbrt (- (* x y) (* z t)))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
60×times-frac
33×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
27×cbrt-prod
24×associate-/r*
22×cbrt-div
16×add-exp-log
11×flip3-- flip--
10×add-cbrt-cube
8×associate-/l/
6×cbrt-undiv div-exp
5×associate-/r/
4×pow1 expm1-log1p-u frac-times log1p-expm1-u add-log-exp
3×pow1/3 div-inv
2×associate-*r/ associate-*l/ prod-exp cbrt-unprod
1×frac-2neg clear-num associate-/l*
Counts
4 → 123
Calls
4 calls:
49.0ms
(/ (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t)))) (/ a (cbrt (- (* x y) (* z t)))))
6.0ms
(cbrt (- (* x y) (* z t)))
6.0ms
(cbrt (- (* x y) (* z t)))
6.0ms
(cbrt (- (* x y) (* z t)))

series492.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(/ (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t)))) (/ a (cbrt (- (* x y) (* z t)))))
143.0ms
(cbrt (- (* x y) (* z t)))
149.0ms
(cbrt (- (* x y) (* z t)))
141.0ms
(cbrt (- (* x y) (* z t)))

simplify82.0ms

Counts
135 → 135
Iterations

Useful iterations: 2 (62.0ms)

IterNodesCost
05641997
123271869
250011775
done50011775

prune492.0ms

Pruning

13 alts after pruning (10 fresh and 3 done)

Merged error: 8.6b

regimes545.0ms

Accuracy

0% (0.3b remaining)

Error of 7.6b against oracle of 7.3b and baseline of 7.6b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0175
1195
2195
done195

end0.0ms

sample738.0ms

Algorithm
intervals
Results
294.0ms11283×body80valid