Details

Time bar (total: 4.8m)

sample1.2s

Algorithm
intervals
Results
536.0ms125×body1280valid
301.0ms79×body2560valid
182.0ms29×body5120valid
106.0ms87×body640valid
33.0ms36×body320valid
21.0ms74×body80valid
8.0ms15×body160valid

simplify1.5s

Counts
1 → 1
Iterations
IterNodes
done5000
31021
2177
151
019

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 28.9b

localize34.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ l t) (/ l t))
1.1b
(/ (* (/ l t) (/ l t)) (sin k))
1.7b
(* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k)))
27.4b
(/ (* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k))) (* (/ k t) (/ k t)))

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
844×add-cbrt-cube add-exp-log
454×cbrt-undiv div-exp
264×prod-exp cbrt-unprod
122×times-frac
101×add-sqr-sqrt
71×*-un-lft-identity add-cube-cbrt
57×associate-*l*
20×associate-*r*
13×pow1 swap-sqr
11×div-inv
10×unswap-sqr
6×associate-/l/
5×frac-times associate-*l/ associate-*r/
4×expm1-log1p-u associate-/r* associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg pow-prod-down *-commutative associate-/l*
1×pow2 pow-plus tan-quot pow-sqr pow-prod-up
Counts
4 → 423
Calls
4 calls:
16.0ms
(* (/ l t) (/ l t))
26.0ms
(/ (* (/ l t) (/ l t)) (sin k))
45.0ms
(* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k)))
63.0ms
(/ (* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k))) (* (/ k t) (/ k t)))

series872.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* (/ l t) (/ l t))
95.0ms
(/ (* (/ l t) (/ l t)) (sin k))
338.0ms
(* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k)))
408.0ms
(/ (* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k))) (* (/ k t) (/ k t)))

simplify1.8s

Counts
435 → 435
Iterations
IterNodes
done5001
12002
0606

prune1.9s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 5.9b

localize65.0ms

Local error

Found 4 expressions with local error:

1.1b
(* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k))
8.8b
(/ (/ (/ 2 t) (tan k)) (* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k)))
11.5b
(/ (/ k t) (/ l t))
11.5b
(/ (/ k t) (/ l t))

rewrite318.0ms

Algorithm
rewrite-expression-head
Rules
1018×times-frac
821×add-cbrt-cube add-exp-log
498×cbrt-undiv div-exp
468×add-sqr-sqrt
467×*-un-lft-identity add-cube-cbrt
204×prod-exp cbrt-unprod
70×associate-/l*
67×div-inv
27×associate-/r*
9×pow1
8×associate-*l/
7×associate-/r/
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg associate-*r* pow-prod-down associate-/l/
2×frac-times tan-quot associate-*r/
1×associate-*l* *-commutative unswap-sqr
Counts
4 → 777
Calls
4 calls:
87.0ms
(* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k))
151.0ms
(/ (/ (/ 2 t) (tan k)) (* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k)))
19.0ms
(/ (/ k t) (/ l t))
19.0ms
(/ (/ k t) (/ l t))

series505.0ms

Counts
4 → 12
Calls
4 calls:
81.0ms
(* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k))
394.0ms
(/ (/ (/ 2 t) (tan k)) (* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k)))
15.0ms
(/ (/ k t) (/ l t))
15.0ms
(/ (/ k t) (/ l t))

simplify3.3s

Counts
789 → 789
Iterations
IterNodes
done5001
13314
01014

prune4.5s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.5b

localize59.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (/ 2 t))
2.0b
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
2.0b
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
3.1b
(* (* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))

rewrite1.7s

Algorithm
rewrite-expression-head
Rules
36629×times-frac
14809×add-sqr-sqrt
14786×*-un-lft-identity add-cube-cbrt
11738×cbrt-prod
2121×add-exp-log
1478×div-exp
1471×div-inv
909×add-cbrt-cube
810×cbrt-undiv
489×prod-exp
307×associate-*r*
299×associate-/r/
297×cbrt-unprod
202×associate-/l*
112×1-exp
94×cbrt-div
93×tan-quot
88×associate-/r*
9×pow1
8×unswap-sqr
5×frac-times associate-*l/
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down associate-*r/
2×clear-num frac-2neg associate-/l/
1×pow1/3 associate-*l* *-commutative
Counts
4 → 9993
Calls
4 calls:
3.0ms
(cbrt (/ 2 t))
50.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
20.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
347.0ms
(* (* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))

series1.7s

Counts
4 → 12
Calls
4 calls:
323.0ms
(cbrt (/ 2 t))
470.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
456.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
493.0ms
(* (* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))

simplify13.4s

Counts
10005 → 10005
Iterations
IterNodes
done8250
08250

prune2.1m

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (/ 2 t))
1.8b
(* (* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (cbrt (/ 2 t)) (cbrt (tan k)))) (/ (cbrt (/ 2 t)) (cbrt (tan k))))
2.0b
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
2.2b
(* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (cbrt (/ 2 t)) (cbrt (tan k))))

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
36842×times-frac
15742×add-sqr-sqrt
14537×*-un-lft-identity
14488×add-cube-cbrt
11878×cbrt-prod
4450×associate-*l*
1452×div-inv
346×add-exp-log
296×associate-/r/
203×unswap-sqr
202×associate-*r*
200×div-exp
153×add-cbrt-cube
141×cbrt-undiv
101×associate-/l*
92×cbrt-div prod-exp
91×tan-quot
72×cbrt-unprod
44×associate-/r*
14×1-exp
11×pow1
6×frac-times associate-*l/
4×expm1-log1p-u pow-prod-down associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
2×*-commutative
1×clear-num frac-2neg pow1/3 associate-/l/
Counts
4 → 9633
Calls
4 calls:
2.0ms
(cbrt (/ 2 t))
224.0ms
(* (* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (cbrt (/ 2 t)) (cbrt (tan k)))) (/ (cbrt (/ 2 t)) (cbrt (tan k))))
20.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
385.0ms
(* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (cbrt (/ 2 t)) (cbrt (tan k))))

series1.5s

Counts
4 → 12
Calls
4 calls:
261.0ms
(cbrt (/ 2 t))
312.0ms
(* (* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (cbrt (/ 2 t)) (cbrt (tan k)))) (/ (cbrt (/ 2 t)) (cbrt (tan k))))
409.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
552.0ms
(* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (cbrt (/ 2 t)) (cbrt (tan k))))

simplify14.4s

Counts
9645 → 9645
Iterations
IterNodes
done9973
09973

prune1.4m

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.0b

regimes342.0ms

Accuracy

0% (0.9b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done31
131
025

end0.0ms

sample26.4s

Algorithm
intervals
Results
7.9s4089×body1280valid
6.5s2165×body2560valid
5.7s931×body5120valid
3.7s2534×body640valid
873.0ms1022×body320valid
781.0ms1996×body80valid
565.0ms448×body160valid