Details

Time bar (total: 27.5s)

sample59.0ms

Algorithm
intervals
Results
23.0ms342×body80valid

simplify125.0ms

Counts
1 → 1
Iterations
IterNodes
done110
9110
8108
7102
687
573
458
339
225
115
010

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.0b

localize24.0ms

Local error

Found 3 expressions with local error:

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

rewrite221.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-cbrt-cube add-exp-log
5×pow1 associate-/r* add-log-exp
3×sub-neg flip3-- associate-*l* associate-*r/ flip-- associate-/l*
2×distribute-rgt-in distribute-lft-in associate-/r/ frac-sub
1×cbrt-undiv clear-num frac-2neg diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv unswap-sqr
Counts
3 → 89
Calls
3 calls:
10.0ms
(/ t (- 1.0 z))
47.0ms
(- (/ y z) (/ t (- 1.0 z)))
159.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series188.0ms

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

simplify668.0ms

Counts
98 → 98
Iterations
IterNodes
done5001
21405
1420
0170

prune611.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.9b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
45×add-sqr-sqrt
42×*-un-lft-identity
34×times-frac
26×add-cube-cbrt
21×associate-*r*
16×add-cbrt-cube add-exp-log
8×associate-/r* add-log-exp
7×distribute-lft-out-- difference-of-squares
6×pow1
4×cbrt-undiv div-exp associate-/r/ associate-/l*
3×associate-*l* prod-exp cbrt-unprod div-inv
2×clear-num sum-log frac-2neg flip3-- associate-*r/ flip-- unswap-sqr
1×neg-sub0 +-commutative associate-+r- flip3-+ unsub-neg pow-prod-down neg-log frac-add *-commutative flip-+ distribute-neg-frac distribute-lft-out
Counts
4 → 115
Calls
4 calls:
16.0ms
(/ t (- 1.0 z))
18.0ms
(+ (/ (* y x) z) (- (* x (/ t (- 1.0 z)))))
22.0ms
(* x (/ t (- 1.0 z)))
7.0ms
(/ (* y x) z)

series257.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(/ t (- 1.0 z))
100.0ms
(+ (/ (* y x) z) (- (* x (/ t (- 1.0 z)))))
90.0ms
(* x (/ t (- 1.0 z)))
22.0ms
(/ (* y x) z)

simplify1.3s

Counts
127 → 127
Iterations
IterNodes
done5001
23056
1601
0220

prune672.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize60.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
1.2b
(/ (* x (cbrt t)) (/ (cbrt (- 1.0 z)) (/ (cbrt t) (cbrt (- 1.0 z)))))
5.5b
(/ (* y x) z)

rewrite264.0ms

Algorithm
rewrite-expression-head
Rules
2072×times-frac
1410×cbrt-prod
1098×add-sqr-sqrt *-un-lft-identity
690×add-cube-cbrt
440×associate-/r*
204×distribute-lft-out-- difference-of-squares
35×associate-/r/
32×cbrt-div
30×add-exp-log
20×div-inv
19×add-cbrt-cube
16×flip3-- flip--
14×cbrt-undiv div-exp
4×pow1 prod-exp cbrt-unprod add-log-exp
2×clear-num frac-2neg pow1/3 associate-/l*
Counts
4 → 941
Calls
4 calls:
1.0ms
(cbrt t)
1.0ms
(cbrt t)
122.0ms
(/ (* x (cbrt t)) (/ (cbrt (- 1.0 z)) (/ (cbrt t) (cbrt (- 1.0 z)))))
17.0ms
(/ (* y x) z)

series859.0ms

Counts
4 → 12
Calls
4 calls:
257.0ms
(cbrt t)
258.0ms
(cbrt t)
323.0ms
(/ (* x (cbrt t)) (/ (cbrt (- 1.0 z)) (/ (cbrt t) (cbrt (- 1.0 z)))))
21.0ms
(/ (* y x) z)

simplify1.0s

Counts
953 → 953
Iterations
IterNodes
done5001
01521

prune7.4s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize63.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
1.2b
(/ (* x (cbrt t)) (/ (cbrt (- 1.0 z)) (/ (cbrt t) (cbrt (- 1.0 z)))))
5.2b
(* (/ y (* (cbrt z) (cbrt z))) (/ x (cbrt z)))

rewrite287.0ms

Algorithm
rewrite-expression-head
Rules
2097×times-frac
1421×cbrt-prod
1127×add-sqr-sqrt
1111×*-un-lft-identity
703×add-cube-cbrt
437×associate-/r*
204×distribute-lft-out-- difference-of-squares
46×add-exp-log
35×associate-/r/
32×cbrt-div
28×add-cbrt-cube
22×associate-*r*
21×div-inv
19×cbrt-undiv div-exp
16×flip3-- flip--
11×prod-exp cbrt-unprod
7×associate-*l*
6×pow1 unswap-sqr
4×add-log-exp
2×pow1/3
1×frac-times clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ *-commutative associate-/l*
Counts
4 → 979
Calls
4 calls:
1.0ms
(cbrt t)
2.0ms
(cbrt t)
101.0ms
(/ (* x (cbrt t)) (/ (cbrt (- 1.0 z)) (/ (cbrt t) (cbrt (- 1.0 z)))))
43.0ms
(* (/ y (* (cbrt z) (cbrt z))) (/ x (cbrt z)))

series1.0s

Counts
4 → 12
Calls
4 calls:
277.0ms
(cbrt t)
335.0ms
(cbrt t)
324.0ms
(/ (* x (cbrt t)) (/ (cbrt (- 1.0 z)) (/ (cbrt t) (cbrt (- 1.0 z)))))
83.0ms
(* (/ y (* (cbrt z) (cbrt z))) (/ x (cbrt z)))

simplify1.3s

Counts
991 → 991
Iterations
IterNodes
done5001
01599

prune9.0s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

regimes659.0ms

Accuracy

85.9% (0.7b remaining)

Error of 0.7b against oracle of 0.0b and baseline of 4.8b

bsearch2.0ms

simplify25.0ms

Iterations
IterNodes
done95
395
290
169
044

end0.0ms

sample1.3s

Algorithm
intervals
Results
653.0ms10130×body80valid