Details

Time bar (total: 26.4s)

sample34.0ms

Algorithm
intervals
Results
13.0ms360×body80valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
done5000
93129
8915
7384
6200
5144
488
345
225
114
08

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.6b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite42.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:
11.0ms
(+ x (/ (* y (- z x)) t))
17.0ms
(* y (- z x))
13.0ms
(/ (* y (- z x)) t)

series230.0ms

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

simplify1.4s

Counts
70 → 70
Iterations
IterNodes
done5000
21163
1309
0113

prune402.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt t)
0.5b
(cbrt t)
0.5b
(cbrt t)
4.9b
(* (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t)))

rewrite90.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 t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)
84.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t)))

series1.0s

Counts
4 → 12
Calls
4 calls:
310.0ms
(cbrt t)
273.0ms
(cbrt t)
257.0ms
(cbrt t)
166.0ms
(* (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t)))

simplify2.2s

Counts
116 → 116
Iterations
IterNodes
done5000
23510
1516
0161

prune859.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize57.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt t)
0.5b
(cbrt t)
0.5b
(* (cbrt (cbrt t)) (cbrt (cbrt t)))
4.9b
(* (/ y (* (cbrt t) (* (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t))))) (/ (- z x) (cbrt t)))

rewrite483.0ms

Algorithm
rewrite-expression-head
Rules
76×cbrt-prod
75×add-sqr-sqrt
51×add-exp-log
49×*-un-lft-identity
43×associate-*r*
37×add-cube-cbrt
35×times-frac
30×add-cbrt-cube
23×prod-exp cbrt-unprod
16×associate-*l*
13×pow1 cbrt-undiv div-exp
12×unswap-sqr
9×swap-sqr
8×pow1/3
6×distribute-lft-out-- difference-of-squares
4×add-log-exp
3×pow-prod-down
2×pow-sqr *-commutative pow-prod-up div-inv
1×pow2 frac-times pow-plus associate-*l/ associate-*r/
Counts
4 → 152
Calls
4 calls:
1.0ms
(cbrt t)
1.0ms
(cbrt t)
14.0ms
(* (cbrt (cbrt t)) (cbrt (cbrt t)))
455.0ms
(* (/ y (* (cbrt t) (* (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t))))) (/ (- z x) (cbrt t)))

series1.2s

Counts
4 → 12
Calls
4 calls:
300.0ms
(cbrt t)
227.0ms
(cbrt t)
496.0ms
(* (cbrt (cbrt t)) (cbrt (cbrt t)))
157.0ms
(* (/ y (* (cbrt t) (* (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t))))) (/ (- z x) (cbrt t)))

simplify2.7s

Counts
164 → 164
Iterations
IterNodes
done5000
24685
1734
0241

prune1.1s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize89.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (cbrt (cbrt t)))
0.5b
(cbrt (cbrt (cbrt t)))
0.5b
(cbrt (cbrt (cbrt t)))
4.9b
(* (/ y (* (cbrt t) (* (* (* (cbrt (cbrt t)) (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t))))) (cbrt (cbrt (cbrt t)))) (cbrt (cbrt t))))) (/ (- z x) (cbrt t)))

rewrite5.7s

Algorithm
rewrite-expression-head
Rules
81×add-exp-log
70×cbrt-prod
52×add-sqr-sqrt
44×*-un-lft-identity prod-exp cbrt-unprod
42×add-cbrt-cube
35×times-frac
34×associate-*r*
32×add-cube-cbrt
19×cbrt-undiv div-exp
7×associate-*l*
6×pow1 distribute-lft-out-- difference-of-squares
4×add-log-exp
3×pow1/3 unswap-sqr
2×div-inv
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 135
Calls
4 calls:
2.0ms
(cbrt (cbrt (cbrt t)))
2.0ms
(cbrt (cbrt (cbrt t)))
2.0ms
(cbrt (cbrt (cbrt t)))
5.7s
(* (/ y (* (cbrt t) (* (* (* (cbrt (cbrt t)) (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t))))) (cbrt (cbrt (cbrt t)))) (cbrt (cbrt t))))) (/ (- z x) (cbrt t)))

series1.4s

Counts
4 → 12
Calls
4 calls:
381.0ms
(cbrt (cbrt (cbrt t)))
426.0ms
(cbrt (cbrt (cbrt t)))
408.0ms
(cbrt (cbrt (cbrt t)))
184.0ms
(* (/ y (* (cbrt t) (* (* (* (cbrt (cbrt t)) (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t))))) (cbrt (cbrt (cbrt t)))) (cbrt (cbrt t))))) (/ (- z x) (cbrt t)))

simplify1.8s

Counts
147 → 147
Iterations
IterNodes
done5001
1796
0248

prune1.3s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

regimes567.0ms

Accuracy

23.5% (1.5b remaining)

Error of 1.5b against oracle of 0.0b and baseline of 2.0b

bsearch94.0ms

Steps
ItersRangePoint
10
1.9606547420768392e-94
1.0025583921492176e-80
8.712463262678465e-81
5
-6.192758416488176e+24
-2.95044528942059e+24
-5.792166923042434e+24

simplify6.0ms

Iterations
IterNodes
done23
123
017

end0.0ms

sample1.6s

Algorithm
intervals
Results
559.0ms10715×body80valid