Details

Time bar (total: 15.8s)

sample49.0ms

Algorithm
intervals
Results
22.0ms315×body80valid

simplify124.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01011
11511
22511
33911
45811
57311
68711
710211
810711
910911
done10911

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.7b

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ t (- 1.0 z))
0.0b
(- (/ y z) (/ t (- 1.0 z)))
4.6b
(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite336.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt
45×*-un-lft-identity
31×times-frac
15×add-cube-cbrt
12×distribute-lft-out-- difference-of-squares
10×associate-*r*
7×add-exp-log add-cbrt-cube
5×pow1 associate-/r* add-log-exp
3×sub-neg flip3-- associate-*r/ associate-*l* flip-- associate-/l*
2×distribute-rgt-in distribute-lft-in associate-/r/ frac-sub
1×cbrt-undiv frac-2neg diff-log div-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod div-inv unswap-sqr
Counts
3 → 89
Calls
3 calls:
24.0ms
(/ t (- 1.0 z))
47.0ms
(- (/ y z) (/ t (- 1.0 z)))
261.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series197.0ms

Counts
3 → 9
Calls
3 calls:
61.0ms
(/ t (- 1.0 z))
66.0ms
(- (/ y z) (/ t (- 1.0 z)))
70.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify1.7s

Counts
98 → 98
Iterations

Useful iterations: 3 (725.0ms)

IterNodesCost
01701300
13871249
29181175
323491153
done50011153

prune310.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1 (- 1.0 z))
0.0b
(- (/ y z) (* t (/ 1 (- 1.0 z))))
0.1b
(* t (/ 1 (- 1.0 z)))
4.6b
(* x (- (/ y z) (* t (/ 1 (- 1.0 z)))))

rewrite179.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt
41×*-un-lft-identity
32×times-frac
26×add-cube-cbrt
24×associate-*r*
19×add-exp-log
13×add-cbrt-cube
9×pow1
7×associate-*r/ distribute-lft-out-- difference-of-squares
6×associate-*l* add-log-exp
5×prod-exp associate-/r*
4×flip3-- div-exp associate-/r/ frac-sub flip-- unswap-sqr
3×sub-neg un-div-inv cbrt-unprod associate-/l*
2×cbrt-undiv distribute-rgt-in rec-exp distribute-lft-in 1-exp pow-prod-down *-commutative div-inv
1×pow-flip frac-2neg diff-log clear-num inv-pow
Counts
4 → 125
Calls
4 calls:
25.0ms
(/ 1 (- 1.0 z))
37.0ms
(- (/ y z) (* t (/ 1 (- 1.0 z))))
38.0ms
(* t (/ 1 (- 1.0 z)))
66.0ms
(* x (- (/ y z) (* t (/ 1 (- 1.0 z)))))

series220.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(/ 1 (- 1.0 z))
65.0ms
(- (/ y z) (* t (/ 1 (- 1.0 z))))
51.0ms
(* t (/ 1 (- 1.0 z)))
81.0ms
(* x (- (/ y z) (* t (/ 1 (- 1.0 z)))))

simplify2.6s

Counts
137 → 137
Iterations

Useful iterations: 3 (1.2s)

IterNodesCost
02081748
14851430
211501300
331991276
done50021276

prune365.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite491.0ms

Algorithm
rewrite-expression-head
Rules
49×*-un-lft-identity
25×add-sqr-sqrt
23×times-frac
15×add-cube-cbrt
8×distribute-lft-out
7×add-exp-log associate-*r* add-cbrt-cube add-log-exp
6×distribute-rgt-neg-in distribute-lft-out--
5×pow1 associate-/r*
4×difference-of-squares
3×associate-*r/ associate-*l* associate-/l*
2×flip3-+ frac-add sum-log associate-/r/ flip-+ distribute-neg-frac
1×cbrt-undiv +-commutative neg-sub0 distribute-rgt-in associate-+r- flip3-- frac-2neg distribute-lft-in div-exp unsub-neg pow-prod-down neg-log prod-exp clear-num *-commutative flip-- cbrt-unprod div-inv unswap-sqr
Counts
3 → 84
Calls
3 calls:
12.0ms
(/ t (- 1.0 z))
70.0ms
(+ (/ y z) (- (/ t (- 1.0 z))))
405.0ms
(* x (+ (/ y z) (- (/ t (- 1.0 z)))))

series164.0ms

Counts
3 → 9
Calls
3 calls:
41.0ms
(/ t (- 1.0 z))
57.0ms
(+ (/ y z) (- (/ t (- 1.0 z))))
65.0ms
(* x (+ (/ y z) (- (/ t (- 1.0 z)))))

simplify3.0s

Counts
93 → 93
Iterations

Useful iterations: 3 (1.2s)

IterNodesCost
01611190
13991099
212151010
33895986
done5000986

prune360.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ y z) (cbrt (pow (/ t (- 1.0 z)) 3)))
0.1b
(pow (/ t (- 1.0 z)) 3)
4.6b
(* x (- (/ y z) (cbrt (pow (/ t (- 1.0 z)) 3))))
31.4b
(cbrt (pow (/ t (- 1.0 z)) 3))

rewrite710.0ms

Algorithm
rewrite-expression-head
Rules
144×add-sqr-sqrt
82×times-frac
72×cbrt-prod *-un-lft-identity
50×unpow-prod-down cube-prod
44×add-cube-cbrt
40×difference-of-squares
18×associate-*r*
14×distribute-lft-out--
9×add-exp-log add-cbrt-cube
8×associate-/r/
7×pow1
6×flip3-- flip-- add-log-exp sqr-pow
4×cube-div div-inv
3×sub-neg pow-unpow cbrt-div associate-*r/ associate-*l*
2×distribute-rgt-in cube-mult distribute-lft-in unpow3 pow-exp frac-sub rem-cube-cbrt
1×cbrt-undiv pow-to-exp pow-pow pow1/3 diff-log div-exp pow-prod-down prod-exp *-commutative rem-cbrt-cube cbrt-unprod unswap-sqr
Counts
4 → 188
Calls
4 calls:
118.0ms
(- (/ y z) (cbrt (pow (/ t (- 1.0 z)) 3)))
21.0ms
(pow (/ t (- 1.0 z)) 3)
532.0ms
(* x (- (/ y z) (cbrt (pow (/ t (- 1.0 z)) 3))))
28.0ms
(cbrt (pow (/ t (- 1.0 z)) 3))

series740.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(- (/ y z) (cbrt (pow (/ t (- 1.0 z)) 3)))
483.0ms
(pow (/ t (- 1.0 z)) 3)
99.0ms
(* x (- (/ y z) (cbrt (pow (/ t (- 1.0 z)) 3))))
88.0ms
(cbrt (pow (/ t (- 1.0 z)) 3))

simplify1.7s

Counts
200 → 200
Iterations

Useful iterations: 2 (550.0ms)

IterNodesCost
03123626
18162914
224152690
done50012690

prune665.0ms

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 0.0b

regimes461.0ms

Accuracy

94.6% (0.2b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 4.5b

bsearch2.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
039123
154123
done54123

end0.0ms

sample1.4s

Algorithm
intervals
Results
641.0ms10105×body80valid