Details

Time bar (total: 44.4s)

sample33.0ms

Algorithm
intervals
Results
10.0ms290×body80valid

simplify687.0ms

Counts
1 → 1
Iterations
IterNodes
done241
8241
7230
6201
5169
4123
380
244
120
010

prune42.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize40.0ms

Local error

Found 2 expressions with local error:

0.4b
(/ 2.0 (/ z x))
4.6b
(/ (/ 2.0 (/ z x)) (- y t))

rewrite164.0ms

Algorithm
rewrite-expression-head
Rules
691×times-frac
389×add-sqr-sqrt *-un-lft-identity
299×add-cube-cbrt
47×associate-/l*
45×distribute-lft-out-- difference-of-squares
30×div-inv
18×associate-/r*
16×add-cbrt-cube add-exp-log
9×cbrt-undiv div-exp associate-/r/
2×expm1-log1p-u pow1 clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp
1×flip3-- flip-- associate-/l/
Counts
2 → 364
Calls
2 calls:
19.0ms
(/ 2.0 (/ z x))
55.0ms
(/ (/ 2.0 (/ z x)) (- y t))

series114.0ms

Counts
2 → 6
Calls
2 calls:
23.0ms
(/ 2.0 (/ z x))
91.0ms
(/ (/ 2.0 (/ z x)) (- y t))

simplify5.3s

Counts
370 → 370
Iterations
IterNodes
done5003
24404
11506
0570

prune4.3s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize59.0ms

Local error

Found 4 expressions with local error:

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

rewrite686.0ms

Algorithm
rewrite-expression-head
Rules
2039×times-frac
1132×add-sqr-sqrt
1118×*-un-lft-identity
832×add-cube-cbrt
361×associate-*r*
304×cbrt-prod
143×distribute-lft-out-- difference-of-squares
71×associate-/l*
46×div-inv
45×add-exp-log
34×add-cbrt-cube
18×cbrt-undiv div-exp
15×associate-/r/
12×prod-exp cbrt-unprod
9×pow1
5×associate-/r* unswap-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down
2×flip3-- pow1/3 flip--
1×clear-num frac-2neg associate-*l* associate-*r/ *-commutative associate-/l/
Counts
4 → 878
Calls
4 calls:
2.0ms
(cbrt x)
2.0ms
(cbrt x)
73.0ms
(/ (/ 2.0 (/ z (cbrt x))) (- y t))
335.0ms
(* (* (cbrt x) (cbrt x)) (/ (/ 2.0 (/ z (cbrt x))) (- y t)))

series1.0s

Counts
4 → 12
Calls
4 calls:
323.0ms
(cbrt x)
323.0ms
(cbrt x)
253.0ms
(/ (/ 2.0 (/ z (cbrt x))) (- y t))
130.0ms
(* (* (cbrt x) (cbrt x)) (/ (/ 2.0 (/ z (cbrt x))) (- y t)))

simplify6.4s

Counts
890 → 890
Iterations
IterNodes
done5000
13983
01095

prune11.2s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 2 expressions with local error:

0.2b
(* (/ 2.0 z) x)
4.6b
(/ (* (/ 2.0 z) x) (- y t))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
16×*-un-lft-identity add-cbrt-cube add-exp-log
15×times-frac
13×associate-*l*
12×add-cube-cbrt
5×cbrt-undiv associate-/r* div-exp
4×pow1 prod-exp cbrt-unprod
3×associate-*r*
2×expm1-log1p-u associate-*l/ associate-/r/ insert-posit16 log1p-expm1-u div-inv distribute-lft-out-- add-log-exp difference-of-squares unswap-sqr
1×clear-num frac-2neg flip3-- pow-prod-down *-commutative flip-- associate-/l* associate-/l/
Counts
2 → 68
Calls
2 calls:
25.0ms
(* (/ 2.0 z) x)
53.0ms
(/ (* (/ 2.0 z) x) (- y t))

series198.0ms

Counts
2 → 6
Calls
2 calls:
46.0ms
(* (/ 2.0 z) x)
151.0ms
(/ (* (/ 2.0 z) x) (- y t))

simplify7.4s

Counts
74 → 74
Iterations
IterNodes
done5002
34610
2952
1313
0129

prune926.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (- y t) z)
5.3b
(/ (* 2.0 x) (* (- y t) z))

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
16×add-cbrt-cube add-exp-log
8×add-sqr-sqrt
6×*-un-lft-identity
5×associate-*l* prod-exp cbrt-unprod
4×pow1 cbrt-undiv div-exp associate-*l/ add-cube-cbrt
3×associate-*r*
2×expm1-log1p-u flip3-- associate-/r/ insert-posit16 log1p-expm1-u flip-- add-log-exp
1×clear-num associate-/r* frac-2neg times-frac pow-prod-down *-commutative div-inv associate-/l* distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 51
Calls
2 calls:
42.0ms
(* (- y t) z)
30.0ms
(/ (* 2.0 x) (* (- y t) z))

series238.0ms

Counts
2 → 6
Calls
2 calls:
71.0ms
(* (- y t) z)
166.0ms
(/ (* 2.0 x) (* (- y t) z))

simplify2.6s

Counts
57 → 57
Iterations
IterNodes
done5002
21163
1250
095

prune695.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes1.0s

Accuracy

62.7% (2.2b remaining)

Error of 2.2b against oracle of 0.0b and baseline of 5.8b

bsearch149.0ms

Steps
ItersRangePoint
8
2590629949647.022
2855186102422961.0
1244408611296900.5
9
-1.1943770666177976e+69
-9.842336495894922e+61
-5.921093048146768e+65

simplify6.0ms

Iterations
IterNodes
done23
123
018

end0.0ms

sample956.0ms

Algorithm
intervals
Results
470.0ms8771×body80valid