Details

Time bar (total: 2.5m)

sample67.0ms

Algorithm
intervals
Results
19.0ms256×body80valid
17.0ms238×body80nan

simplify2.9s

Counts
1 → 1
Iterations
IterNodes
done5000
44048
3819
2163
144
019

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize43.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* v v) 5.0)
0.2b
(* t PI)
0.3b
(/ (/ (- 1.0 (* (* v v) 5.0)) (- 1.0 (* v v))) (* t PI))
0.4b
(/ (/ (/ (- 1.0 (* (* v v) 5.0)) (- 1.0 (* v v))) (* t PI)) (sqrt (* 2.0 (- 1.0 (* v (* v 3.0))))))

rewrite121.0ms

Algorithm
rewrite-expression-head
Rules
280×times-frac
115×add-sqr-sqrt
91×*-un-lft-identity add-cube-cbrt
41×add-cbrt-cube add-exp-log
40×associate-/l*
23×sqrt-prod
21×difference-of-squares
17×cbrt-undiv div-exp
16×associate-/r/
14×div-inv
11×pow1
8×flip3-- prod-exp cbrt-unprod flip--
6×associate-*r*
5×associate-/r* div-sub
4×associate-*l* pow-prod-down add-log-exp
2×clear-num frac-2neg sqrt-div associate-*r/ *-commutative unswap-sqr associate-/l/
Counts
4 → 232
Calls
4 calls:
28.0ms
(* (* v v) 5.0)
6.0ms
(* t PI)
32.0ms
(/ (/ (- 1.0 (* (* v v) 5.0)) (- 1.0 (* v v))) (* t PI))
40.0ms
(/ (/ (/ (- 1.0 (* (* v v) 5.0)) (- 1.0 (* v v))) (* t PI)) (sqrt (* 2.0 (- 1.0 (* v (* v 3.0))))))

series1.1s

Counts
4 → 12
Calls
4 calls:
45.0ms
(* (* v v) 5.0)
38.0ms
(* t PI)
180.0ms
(/ (/ (- 1.0 (* (* v v) 5.0)) (- 1.0 (* v v))) (* t PI))
879.0ms
(/ (/ (/ (- 1.0 (* (* v v) 5.0)) (- 1.0 (* v v))) (* t PI)) (sqrt (* 2.0 (- 1.0 (* v (* v 3.0))))))

simplify745.0ms

Counts
244 → 244
Iterations
IterNodes
done5001
11408
0512

prune2.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (sqrt (* 2.0 (- 1.0 (* (* v 3.0) v)))) (/ (/ (- 1.0 (* v (* v 5.0))) (- 1.0 (pow v 2))) PI))
0.1b
(* (* v 3.0) v)
0.1b
(* v (* v 5.0))
0.3b
(/ (/ 1 t) (/ (sqrt (* 2.0 (- 1.0 (* (* v 3.0) v)))) (/ (/ (- 1.0 (* v (* v 5.0))) (- 1.0 (pow v 2))) PI)))

rewrite1.9s

Algorithm
rewrite-expression-head
Rules
23913×times-frac
11486×add-sqr-sqrt
9290×*-un-lft-identity
8192×add-cube-cbrt
2196×difference-of-squares
1411×sqrt-prod
642×div-inv
549×unpow-prod-down distribute-lft-out-- unpow2 sqr-pow
475×associate-/r*
382×associate-/r/
184×flip3-- flip--
83×add-exp-log
55×add-cbrt-cube
54×div-exp
30×cbrt-undiv
17×associate-/l*
14×pow1
6×pow-prod-down prod-exp cbrt-unprod
4×rec-exp 1-exp associate-*r* associate-*l* add-log-exp
3×associate-/l/
2×clear-num frac-2neg sqrt-div associate-*r/ *-commutative
Counts
4 → 5912
Calls
4 calls:
48.0ms
(/ (sqrt (* 2.0 (- 1.0 (* (* v 3.0) v)))) (/ (/ (- 1.0 (* v (* v 5.0))) (- 1.0 (pow v 2))) PI))
20.0ms
(* (* v 3.0) v)
12.0ms
(* v (* v 5.0))
237.0ms
(/ (/ 1 t) (/ (sqrt (* 2.0 (- 1.0 (* (* v 3.0) v)))) (/ (/ (- 1.0 (* v (* v 5.0))) (- 1.0 (pow v 2))) PI)))

series1.4s

Counts
4 → 12
Calls
4 calls:
610.0ms
(/ (sqrt (* 2.0 (- 1.0 (* (* v 3.0) v)))) (/ (/ (- 1.0 (* v (* v 5.0))) (- 1.0 (pow v 2))) PI))
45.0ms
(* (* v 3.0) v)
33.0ms
(* v (* v 5.0))
684.0ms
(/ (/ 1 t) (/ (sqrt (* 2.0 (- 1.0 (* (* v 3.0) v)))) (/ (/ (- 1.0 (* v (* v 5.0))) (- 1.0 (pow v 2))) PI)))

simplify3.9s

Counts
5924 → 5924
Iterations
IterNodes
done9369
09369

prune1.0m

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize58.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1 (/ (sqrt (* 2.0 (- 1.0 (* (* v 3.0) v)))) (/ (/ (- 1.0 (* v (* v 5.0))) (- 1.0 (pow v 2))) PI)))
0.1b
(* (* v 3.0) v)
0.1b
(* v (* v 5.0))
0.2b
(* (/ 1 t) (/ 1 (/ (sqrt (* 2.0 (- 1.0 (* (* v 3.0) v)))) (/ (/ (- 1.0 (* v (* v 5.0))) (- 1.0 (pow v 2))) PI))))

rewrite1.8s

Algorithm
rewrite-expression-head
Rules
9541×times-frac
4941×add-sqr-sqrt
3843×*-un-lft-identity
3318×add-cube-cbrt
1152×associate-*r*
1008×difference-of-squares
658×sqrt-prod
381×associate-/r*
253×add-exp-log
252×unpow-prod-down distribute-lft-out-- unpow2 sqr-pow
177×associate-/r/
156×div-exp
122×div-inv
84×flip3-- flip--
73×add-cbrt-cube
58×prod-exp
35×cbrt-undiv
33×rec-exp 1-exp
27×unswap-sqr
19×pow1
17×associate-*l*
16×cbrt-unprod
9×pow-prod-down
4×add-log-exp
3×*-commutative pow-flip associate-/l* inv-pow
1×frac-times clear-num frac-2neg associate-*l/ associate-*r/ un-div-inv
Counts
4 → 2857
Calls
4 calls:
159.0ms
(/ 1 (/ (sqrt (* 2.0 (- 1.0 (* (* v 3.0) v)))) (/ (/ (- 1.0 (* v (* v 5.0))) (- 1.0 (pow v 2))) PI)))
14.0ms
(* (* v 3.0) v)
23.0ms
(* v (* v 5.0))
1.1s
(* (/ 1 t) (/ 1 (/ (sqrt (* 2.0 (- 1.0 (* (* v 3.0) v)))) (/ (/ (- 1.0 (* v (* v 5.0))) (- 1.0 (pow v 2))) PI))))

series1.5s

Counts
4 → 12
Calls
4 calls:
695.0ms
(/ 1 (/ (sqrt (* 2.0 (- 1.0 (* (* v 3.0) v)))) (/ (/ (- 1.0 (* v (* v 5.0))) (- 1.0 (pow v 2))) PI)))
45.0ms
(* (* v 3.0) v)
29.0ms
(* v (* v 5.0))
697.0ms
(* (/ 1 t) (/ 1 (/ (sqrt (* 2.0 (- 1.0 (* (* v 3.0) v)))) (/ (/ (- 1.0 (* v (* v 5.0))) (- 1.0 (pow v 2))) PI))))

simplify6.1s

Counts
2869 → 2869
Iterations
IterNodes
done5000
04327

prune29.6s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1 (/ (sqrt (* 2.0 (- 1.0 (* v (* 3.0 v))))) (/ (/ (- 1.0 (* v (* v 5.0))) (- 1.0 (* v v))) PI)))
0.1b
(/ (/ 1 (/ (sqrt (* 2.0 (- 1.0 (* v (* 3.0 v))))) (/ (/ (- 1.0 (* v (* v 5.0))) (- 1.0 (* v v))) PI))) t)
0.1b
(* v (* 3.0 v))
0.1b
(* v (* v 5.0))

rewrite951.0ms

Algorithm
rewrite-expression-head
Rules
15175×times-frac
6185×add-sqr-sqrt
5609×*-un-lft-identity add-cube-cbrt
928×sqrt-prod
719×associate-/l*
576×difference-of-squares
405×associate-/r/
278×div-inv
240×associate-/r*
192×flip3-- flip--
96×add-exp-log
65×div-exp
48×add-cbrt-cube
25×cbrt-undiv
15×pow1
8×rec-exp 1-exp
6×associate-*l* pow-prod-down prod-exp cbrt-unprod
4×add-log-exp
2×clear-num frac-2neg associate-*r* *-commutative
1×pow-flip inv-pow associate-/l/
Counts
4 → 3912
Calls
4 calls:
110.0ms
(/ 1 (/ (sqrt (* 2.0 (- 1.0 (* v (* 3.0 v))))) (/ (/ (- 1.0 (* v (* v 5.0))) (- 1.0 (* v v))) PI)))
310.0ms
(/ (/ 1 (/ (sqrt (* 2.0 (- 1.0 (* v (* 3.0 v))))) (/ (/ (- 1.0 (* v (* v 5.0))) (- 1.0 (* v v))) PI))) t)
15.0ms
(* v (* 3.0 v))
24.0ms
(* v (* v 5.0))

series1.3s

Counts
4 → 12
Calls
4 calls:
619.0ms
(/ 1 (/ (sqrt (* 2.0 (- 1.0 (* v (* 3.0 v))))) (/ (/ (- 1.0 (* v (* v 5.0))) (- 1.0 (* v v))) PI)))
628.0ms
(/ (/ 1 (/ (sqrt (* 2.0 (- 1.0 (* v (* 3.0 v))))) (/ (/ (- 1.0 (* v (* v 5.0))) (- 1.0 (* v v))) PI))) t)
27.0ms
(* v (* 3.0 v))
37.0ms
(* v (* v 5.0))

simplify1.9s

Counts
3924 → 3924
Iterations
IterNodes
done7040
07040

prune30.0s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes89.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done30
130
023

end0.0ms

sample2.0s

Algorithm
intervals
Results
824.0ms8000×body80valid
771.0ms7954×body80nan