Details

Time bar (total: 28.9s)

sample47.0ms

Algorithm
intervals
Results
20.0ms334×body80valid

simplify6.2s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
09165
115165
224165
341165
473165
5108165
6133165
7154165
8188165
9272165
10421165
11612165
12944165
131313165
141662165
151990165
162233165
172490165
182745165
193002165
203263165
213520165
223757165
234014165
244265165
254510165
264763165
done5000165

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.5b

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite49.0ms

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

series208.0ms

Counts
3 → 9
Calls
3 calls:
89.0ms
(+ x (/ (* y (- z t)) a))
41.0ms
(* y (- z t))
78.0ms
(/ (* y (- z t)) a)

simplify2.8s

Counts
70 → 70
Iterations

Useful iterations: 3 (1.3s)

IterNodesCost
011613763
131012527
288612367
3342211727
done507211727

prune423.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a)
0.6b
(cbrt a)
0.6b
(cbrt a)
6.4b
(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
54×add-sqr-sqrt
40×times-frac
38×*-un-lft-identity
34×associate-*r*
26×cbrt-prod add-cube-cbrt
25×add-exp-log
18×add-cbrt-cube
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp associate-*l*
6×pow1 distribute-lft-out-- difference-of-squares unswap-sqr
4×add-log-exp
3×pow1/3
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 104
Calls
4 calls:
1.0ms
(cbrt a)
1.0ms
(cbrt a)
1.0ms
(cbrt a)
77.0ms
(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))

series942.0ms

Counts
4 → 12
Calls
4 calls:
250.0ms
(cbrt a)
256.0ms
(cbrt a)
299.0ms
(cbrt a)
138.0ms
(* (/ y (* (cbrt a) (cbrt a))) (/ (- z t) (cbrt a)))

simplify2.5s

Counts
116 → 116
Iterations

Useful iterations: done (2.5s)

IterNodesCost
016137522
150634523
2209833959
done500029479

prune748.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize67.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a)
0.6b
(cbrt a)
0.9b
(* (* (/ y (* (cbrt a) (cbrt a))) (- z t)) (/ 1 (cbrt a)))
5.1b
(* (/ y (* (cbrt a) (cbrt a))) (- z t))

rewrite171.0ms

Algorithm
rewrite-expression-head
Rules
73×add-exp-log
36×prod-exp
35×add-cbrt-cube
28×add-sqr-sqrt
27×associate-*r*
24×*-un-lft-identity
22×times-frac add-cube-cbrt
20×cbrt-unprod
18×div-exp
15×cbrt-prod
11×frac-times pow1
10×cbrt-undiv
8×associate-*l* associate-*l/
7×associate-*r/
6×flip3-- flip--
4×rec-exp 1-exp pow-prod-down add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in pow1/3 *-commutative div-inv unswap-sqr
1×un-div-inv distribute-lft-out-- difference-of-squares
Counts
4 → 129
Calls
4 calls:
1.0ms
(cbrt a)
1.0ms
(cbrt a)
95.0ms
(* (* (/ y (* (cbrt a) (cbrt a))) (- z t)) (/ 1 (cbrt a)))
64.0ms
(* (/ y (* (cbrt a) (cbrt a))) (- z t))

series1.1s

Counts
4 → 12
Calls
4 calls:
297.0ms
(cbrt a)
306.0ms
(cbrt a)
136.0ms
(* (* (/ y (* (cbrt a) (cbrt a))) (- z t)) (/ 1 (cbrt a)))
355.0ms
(* (/ y (* (cbrt a) (cbrt a))) (- z t))

simplify3.1s

Counts
141 → 141
Iterations

Useful iterations: done (3.1s)

IterNodesCost
023153441
171444822
2252042578
done500340859

prune998.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize80.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
1.5b
(* (/ (cbrt y) (cbrt a)) (/ (- z t) (cbrt a)))
1.9b
(* (/ (* (cbrt y) (cbrt y)) (cbrt a)) (* (/ (cbrt y) (cbrt a)) (/ (- z t) (cbrt a))))

rewrite153.0ms

Algorithm
rewrite-expression-head
Rules
115×add-sqr-sqrt
94×times-frac
85×add-exp-log
77×cbrt-prod
63×*-un-lft-identity
51×add-cube-cbrt
50×associate-*l*
41×add-cbrt-cube
36×prod-exp cbrt-unprod
35×associate-*r*
26×cbrt-undiv div-exp
15×unswap-sqr
11×pow1
6×frac-times associate-*r/ distribute-lft-out-- difference-of-squares
4×pow-prod-down associate-*l/ add-log-exp
3×div-inv
2×pow1/3 *-commutative
Counts
4 → 189
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
59.0ms
(* (/ (cbrt y) (cbrt a)) (/ (- z t) (cbrt a)))
77.0ms
(* (/ (* (cbrt y) (cbrt y)) (cbrt a)) (* (/ (cbrt y) (cbrt a)) (/ (- z t) (cbrt a))))

series1.0s

Counts
4 → 12
Calls
4 calls:
270.0ms
(cbrt y)
316.0ms
(cbrt y)
344.0ms
(* (/ (cbrt y) (cbrt a)) (/ (- z t) (cbrt a)))
81.0ms
(* (/ (* (cbrt y) (cbrt y)) (cbrt a)) (* (/ (cbrt y) (cbrt a)) (/ (- z t) (cbrt a))))

simplify4.3s

Counts
201 → 201
Iterations

Useful iterations: done (4.2s)

IterNodesCost
028992118
191687070
2346286344
done500477704

prune1.4s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes860.0ms

Accuracy

75.1% (0.8b remaining)

Error of 0.8b against oracle of 0.0b and baseline of 3.0b

bsearch120.0ms

Steps
ItersRangePoint
5
3.3897363519362675e+25
1.3517187687361753e+26
7.371865022631546e+25
11
-4.909037499451331e-60
-6.158594597522244e-85
-4.858733342956042e-60

simplify9.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
025788
132788
done32788

end0.0ms

sample1.5s

Algorithm
intervals
Results
596.0ms10575×body80valid