Details

Time bar (total: 29.8s)

sample210.0ms

Algorithm
intervals
Results
49.0ms52×body640valid
46.0ms51×body1280valid
41.0ms48×body10240exit
11.0ms109×body80valid
10.0ms32×body320valid
5.0ms74×body80nan
4.0ms1×body2560valid
4.0ms11×body160valid
3.0ms12×body320nan
3.0ms9×body640nan
2.0ms4×body1280nan
0.0ms3×body160nan

simplify3.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01213
12013
23313
34813
47313
519513
673813
7347713
done500113

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.9b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(* y (exp z))
0.0b
(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
1.2b
(log (+ (- 1.0 y) (* y (exp z))))
2.5b
(+ (- 1.0 y) (* y (exp z)))

rewrite202.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×add-cube-cbrt *-un-lft-identity
12×times-frac
11×pow1
9×add-log-exp
8×add-exp-log add-cbrt-cube
5×log-pow
4×log-div associate-/l*
3×log-prod flip3-+ associate-*r* associate-*l* associate-/r* flip-+
2×associate-+l+ div-sub sum-log
1×cbrt-undiv +-commutative associate-+l- sub-neg frac-2neg diff-log div-exp rem-log-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 80
Calls
4 calls:
12.0ms
(* y (exp z))
82.0ms
(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
39.0ms
(log (+ (- 1.0 y) (* y (exp z))))
67.0ms
(+ (- 1.0 y) (* y (exp z)))

series431.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(* y (exp z))
220.0ms
(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
101.0ms
(log (+ (- 1.0 y) (* y (exp z))))
62.0ms
(+ (- 1.0 y) (* y (exp z)))

simplify1.2s

Counts
92 → 92
Iterations

Useful iterations: done (1.2s)

IterNodesCost
02031436
14781388
218631273
done50011270

prune482.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 4.1b

localize26.0ms

Local error

Found 4 expressions with local error:

3.9b
(+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
5.6b
(/ (* z y) t)
5.8b
(/ (* (pow z 2) y) t)
7.3b
(* (pow z 2) y)

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
24×add-exp-log
17×add-sqr-sqrt
16×add-cbrt-cube
11×add-cube-cbrt *-un-lft-identity
9×add-log-exp
8×associate-*l*
7×prod-exp
6×times-frac div-exp associate-/r*
4×pow1 cbrt-undiv unpow-prod-down associate-*r/ frac-add unswap-sqr
3×associate-*r* sum-log cbrt-unprod
2×pow-to-exp frac-2neg flip3-+ pow-exp clear-num flip-+ div-inv associate-/l* unpow2 sqr-pow
1×+-commutative associate-+r+ *-commutative
Counts
4 → 87
Calls
4 calls:
79.0ms
(+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
20.0ms
(/ (* z y) t)
13.0ms
(/ (* (pow z 2) y) t)
13.0ms
(* (pow z 2) y)

series185.0ms

Counts
4 → 12
Calls
4 calls:
109.0ms
(+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
25.0ms
(/ (* z y) t)
21.0ms
(/ (* (pow z 2) y) t)
30.0ms
(* (pow z 2) y)

simplify1.6s

Counts
99 → 99
Iterations

Useful iterations: done (1.6s)

IterNodesCost
01711403
15101310
228441175
done50011173

prune525.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 3.0b

localize54.0ms

Local error

Found 4 expressions with local error:

3.6b
(* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))
3.9b
(+ (* 1.0 (* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
5.8b
(/ (* (pow z 2) y) t)
7.3b
(* (pow z 2) y)

rewrite325.0ms

Algorithm
rewrite-expression-head
Rules
46×add-sqr-sqrt
40×add-exp-log
31×times-frac
25×associate-*r* add-cbrt-cube
24×add-cube-cbrt *-un-lft-identity
16×associate-*r/
15×associate-*l*
14×prod-exp
12×frac-add
11×cbrt-prod div-exp
10×cbrt-unprod unswap-sqr
9×cbrt-undiv add-log-exp
6×pow1
4×frac-times unpow-prod-down flip3-+ associate-*l/ flip-+
3×associate-/r* sum-log div-inv
2×pow-to-exp pow-exp *-commutative unpow2 sqr-pow
1×+-commutative associate-+r+ frac-2neg pow-prod-down clear-num associate-/l*
Counts
4 → 131
Calls
4 calls:
66.0ms
(* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))
200.0ms
(+ (* 1.0 (* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
24.0ms
(/ (* (pow z 2) y) t)
25.0ms
(* (pow z 2) y)

series385.0ms

Counts
4 → 12
Calls
4 calls:
78.0ms
(* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))
228.0ms
(+ (* 1.0 (* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
40.0ms
(/ (* (pow z 2) y) t)
38.0ms
(* (pow z 2) y)

simplify619.0ms

Counts
143 → 143
Iterations

Useful iterations: done (613.0ms)

IterNodesCost
02812888
19532734
done50002445

prune861.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 3.0b

localize73.0ms

Local error

Found 4 expressions with local error:

3.8b
(* (/ (/ (/ z (cbrt t)) (cbrt t)) (cbrt (* (cbrt t) (cbrt t)))) (/ y (cbrt (cbrt t))))
3.9b
(+ (* 1.0 (* (/ (/ (/ z (cbrt t)) (cbrt t)) (cbrt (* (cbrt t) (cbrt t)))) (/ y (cbrt (cbrt t))))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
5.8b
(/ (* (pow z 2) y) t)
7.3b
(* (pow z 2) y)

rewrite992.0ms

Algorithm
rewrite-expression-head
Rules
1715×times-frac
936×add-sqr-sqrt
756×cbrt-prod
657×add-cube-cbrt *-un-lft-identity
556×associate-*l*
64×unswap-sqr
51×add-exp-log
34×associate-*r*
31×div-inv
27×add-cbrt-cube
20×div-exp
18×cbrt-undiv
16×associate-*r/
14×prod-exp
12×frac-add
10×cbrt-unprod
9×add-log-exp
6×pow1
4×frac-times unpow-prod-down flip3-+ associate-*l/ flip-+
3×associate-/r* sum-log
2×pow-to-exp pow-exp *-commutative unpow2 sqr-pow
1×+-commutative associate-+r+ frac-2neg pow-prod-down clear-num associate-/l*
Counts
4 → 739
Calls
4 calls:
523.0ms
(* (/ (/ (/ z (cbrt t)) (cbrt t)) (cbrt (* (cbrt t) (cbrt t)))) (/ y (cbrt (cbrt t))))
301.0ms
(+ (* 1.0 (* (/ (/ (/ z (cbrt t)) (cbrt t)) (cbrt (* (cbrt t) (cbrt t)))) (/ y (cbrt (cbrt t))))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
11.0ms
(/ (* (pow z 2) y) t)
23.0ms
(* (pow z 2) y)

series260.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(* (/ (/ (/ z (cbrt t)) (cbrt t)) (cbrt (* (cbrt t) (cbrt t)))) (/ y (cbrt (cbrt t))))
164.0ms
(+ (* 1.0 (* (/ (/ (/ z (cbrt t)) (cbrt t)) (cbrt (* (cbrt t) (cbrt t)))) (/ y (cbrt (cbrt t))))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
22.0ms
(/ (* (pow z 2) y) t)
20.0ms
(* (pow z 2) y)

simplify2.0s

Counts
751 → 751
Iterations

Useful iterations: done (1.7s)

IterNodesCost
095218208
1329718031
done500117548

prune7.8s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 3.0b

regimes789.0ms

Accuracy

73.7% (4.3b remaining)

Error of 8.1b against oracle of 3.7b and baseline of 20.2b

bsearch137.0ms

Steps
ItersRangePoint
10
-1106898266.2167518
-1.4982150177354391e-05
-1.9853915267026948e-05

simplify9.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03969
14869
done4869

end0.0ms

sample6.8s

Algorithm
intervals
Results
1.8s1549×body10240exit
1.3s1433×body1280valid
901.0ms3542×body80valid
844.0ms1531×body640valid
367.0ms927×body320valid
278.0ms2518×body80nan
145.0ms269×body640nan
124.0ms69×body2560valid
99.0ms530×body160valid
49.0ms99×body1280nan
42.0ms186×body320nan
15.0ms103×body160nan