Details

Time bar (total: 17.8s)

sample43.0ms

Algorithm
intervals
Results
22.0ms352×body80valid

simplify6.0s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
1149
2319
3579
4899
51149
61339
71549
81909
92459
102739
113009
123419
133549
143709
153869
164739
175649
188129
1911389
2015689
2116519
2216569
done16569

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.8b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* (/ x y) (- z t)) t)
7.5b
(* (/ x y) (- z t))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
13×associate-*l*
12×*-un-lft-identity
10×add-cube-cbrt times-frac
7×add-exp-log add-cbrt-cube
5×associate-*r*
4×pow1 distribute-rgt-in sub-neg associate-+l+ distribute-lft-in add-log-exp
2×frac-times flip3-- associate-*r/ prod-exp flip-- cbrt-unprod unswap-sqr
1×cbrt-undiv +-commutative flip3-+ div-exp pow-prod-down associate-*l/ sum-log *-commutative flip-+ div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 57
Calls
2 calls:
29.0ms
(+ (* (/ x y) (- z t)) t)
53.0ms
(* (/ x y) (- z t))

series151.0ms

Counts
2 → 6
Calls
2 calls:
69.0ms
(+ (* (/ x y) (- z t)) t)
82.0ms
(* (/ x y) (- z t))

simplify3.0s

Counts
63 → 63
Iterations

Useful iterations: 3 (1.3s)

IterNodesCost
0120727
1314701
2980625
33598619
done5001619

prune259.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ t (/ (- z t) (/ y x)))
7.9b
(/ (- z t) (/ y x))

rewrite110.0ms

Algorithm
rewrite-expression-head
Rules
119×times-frac
88×*-un-lft-identity
86×add-sqr-sqrt
58×add-cube-cbrt
14×distribute-lft-out-- difference-of-squares
13×associate-/r*
7×add-exp-log add-cbrt-cube div-inv
5×associate-/l*
4×add-log-exp
3×cbrt-undiv div-exp
2×pow1 div-sub associate-/l/
1×+-commutative associate-+r- flip3-- frac-2neg flip3-+ clear-num sum-log associate-/r/ flip-- flip-+ distribute-lft-out
Counts
2 → 114
Calls
2 calls:
64.0ms
(+ t (/ (- z t) (/ y x)))
39.0ms
(/ (- z t) (/ y x))

series123.0ms

Counts
2 → 6
Calls
2 calls:
60.0ms
(+ t (/ (- z t) (/ y x)))
63.0ms
(/ (- z t) (/ y x))

simplify1.4s

Counts
120 → 120
Iterations

Useful iterations: done (1.4s)

IterNodesCost
02171896
15931770
218521680
done50001678

prune389.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
1.1b
(* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (- z t) (/ (cbrt y) (cbrt x))))

rewrite229.0ms

Algorithm
rewrite-expression-head
Rules
405×times-frac
290×add-sqr-sqrt
254×*-un-lft-identity
205×associate-*r*
197×cbrt-prod
174×add-cube-cbrt
73×add-exp-log
40×distribute-lft-out-- difference-of-squares
39×add-cbrt-cube
27×cbrt-undiv div-exp prod-exp cbrt-unprod
12×unswap-sqr
7×div-inv
6×pow1
5×associate-*l*
4×add-log-exp
3×pow1/3
1×frac-times associate-*r/ pow-prod-down associate-*l/ associate-/r/ *-commutative
Counts
4 → 297
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
190.0ms
(* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (- z t) (/ (cbrt y) (cbrt x))))

series954.0ms

Counts
4 → 12
Calls
4 calls:
263.0ms
(cbrt x)
285.0ms
(cbrt x)
315.0ms
(cbrt x)
90.0ms
(* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (- z t) (/ (cbrt y) (cbrt x))))

simplify831.0ms

Counts
309 → 309
Iterations

Useful iterations: done (822.0ms)

IterNodesCost
05157352
116636814
done50006146

prune1.0s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ t (/ (* x z) y))
5.5b
(/ t (/ y x))
6.6b
(/ (* x z) y)

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
78×times-frac
49×*-un-lft-identity
47×add-sqr-sqrt add-cube-cbrt
16×associate-/r*
13×add-exp-log add-cbrt-cube
6×div-inv
5×cbrt-undiv div-exp add-log-exp
4×associate-/l*
3×pow1
2×frac-2neg clear-num
1×+-commutative flip3-+ prod-exp sum-log associate-/r/ cbrt-unprod flip-+ distribute-lft-out
Counts
3 → 103
Calls
3 calls:
9.0ms
(+ t (/ (* x z) y))
9.0ms
(/ t (/ y x))
10.0ms
(/ (* x z) y)

series84.0ms

Counts
3 → 9
Calls
3 calls:
34.0ms
(+ t (/ (* x z) y))
27.0ms
(/ t (/ y x))
22.0ms
(/ (* x z) y)

simplify1.5s

Counts
112 → 112
Iterations

Useful iterations: done (1.5s)

IterNodesCost
02041239
14621144
214881074
done50001072

prune354.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes132.0ms

Accuracy

0% (0.9b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01423
11623
done1623

end0.0ms

sample1.0s

Algorithm
intervals
Results
579.0ms10700×body80valid