Details

Time bar (total: 3.5s)

sample29.0ms

Algorithm
intervals
Results
11.0ms362×body80valid

simplify16.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0174
1354
2514
3714
4854
5894
6894
done894

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.0b

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite28.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:
8.0ms
(- (* x y) (* z t))
19.0ms
(/ (- (* x y) (* z t)) a)

series98.0ms

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

simplify90.0ms

Counts
54 → 54
Iterations

Useful iterations: 3 (85.0ms)

IterNodesCost
0218336
1769309
22931308
35001307
done5001307

prune156.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 8.6b

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite33.0ms

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

series99.0ms

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

simplify110.0ms

Counts
48 → 48
Iterations

Useful iterations: 3 (106.0ms)

IterNodesCost
0247274
1927237
24166234
35001233
done5001233

prune125.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
(* (* 1 (- (* x y) (* z t))) (/ 1 a))

rewrite60.0ms

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

series99.0ms

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

simplify46.0ms

Counts
70 → 70
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
0385450
11377376
25001363
done5001363

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

rewrite69.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:
47.0ms
(/ (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t)))) (/ a (cbrt (- (* x y) (* z t)))))
5.0ms
(cbrt (- (* x y) (* z t)))
5.0ms
(cbrt (- (* x y) (* z t)))
6.0ms
(cbrt (- (* x y) (* z t)))

series440.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(/ (* (cbrt (- (* x y) (* z t))) (cbrt (- (* x y) (* z t)))) (/ a (cbrt (- (* x y) (* z t)))))
127.0ms
(cbrt (- (* x y) (* z t)))
130.0ms
(cbrt (- (* x y) (* z t)))
128.0ms
(cbrt (- (* x y) (* z t)))

simplify74.0ms

Counts
135 → 135
Iterations

Useful iterations: 2 (55.0ms)

IterNodesCost
05641997
123271869
250011775
done50011775

prune454.0ms

Pruning

13 alts after pruning (10 fresh and 3 done)

Merged error: 8.6b

regimes540.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 (0.0ms)

IterNodesCost
0165
1185
2185
done185

end0.0ms

sample751.0ms

Algorithm
intervals
Results
300.0ms11283×body80valid