Details

Time bar (total: 20.9s)

sample103.0ms

Algorithm
intervals
Results
23.0ms388×body80valid

simplify5.6s

Counts
1 → 1
Iterations

Useful iterations: 2 (20.0ms)

IterNodesCost
0811
11511
2389
3819
41029
51459
62819
77399
824369
done50009

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize23.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))
0.1b
(* 0.12900613773279798 (* (* x x) x))
0.1b
(* (* x x) x)

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
31×pow1
17×add-exp-log add-cbrt-cube
9×pow-prod-down prod-exp cbrt-unprod
6×add-sqr-sqrt pow-plus pow-prod-up
5×add-cube-cbrt *-un-lft-identity add-log-exp
4×associate-*r* associate-*l*
2×pow2 pow-sqr *-commutative
1×sub-neg flip3-- diff-log pow3 flip-- unswap-sqr
Counts
3 → 61
Calls
3 calls:
17.0ms
(- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))
61.0ms
(* 0.12900613773279798 (* (* x x) x))
22.0ms
(* (* x x) x)

series283.0ms

Counts
3 → 9
Calls
3 calls:
155.0ms
(- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))
72.0ms
(* 0.12900613773279798 (* (* x x) x))
56.0ms
(* (* x x) x)

simplify4.2s

Counts
70 → 70
Iterations

Useful iterations: 3 (1.2s)

IterNodesCost
080698
1191506
2676427
33122425
done5000425

prune109.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (* 0.954929658551372 x) (* 1 (* (pow x 3) 0.12900613773279798)))
0.1b
(* (pow x 3) 0.12900613773279798)

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
12×associate-*l*
7×add-exp-log
6×add-cube-cbrt *-un-lft-identity
4×unpow-prod-down cube-prod add-cbrt-cube add-log-exp unswap-sqr
3×associate-*r* prod-exp
2×pow1 sqr-pow
1×cube-mult pow-to-exp sub-neg flip3-- diff-log unpow3 pow-exp *-commutative flip-- cbrt-unprod
Counts
2 → 43
Calls
2 calls:
23.0ms
(- (* 0.954929658551372 x) (* 1 (* (pow x 3) 0.12900613773279798)))
27.0ms
(* (pow x 3) 0.12900613773279798)

series215.0ms

Counts
2 → 6
Calls
2 calls:
161.0ms
(- (* 0.954929658551372 x) (* 1 (* (pow x 3) 0.12900613773279798)))
54.0ms
(* (pow x 3) 0.12900613773279798)

simplify3.8s

Counts
49 → 49
Iterations

Useful iterations: 3 (1.4s)

IterNodesCost
077517
1187432
2624408
32817406
done5000406

prune200.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* 0.954929658551372 x) (* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (pow x 3))))
0.2b
(* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (pow x 3)))
0.2b
(* (sqrt 0.12900613773279798) (pow x 3))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
18×add-exp-log
13×associate-*r*
12×associate-*l*
10×add-cube-cbrt *-un-lft-identity prod-exp sqrt-prod add-cbrt-cube
8×unswap-sqr
5×pow1 unpow-prod-down cube-prod add-log-exp
4×cbrt-unprod
3×sqr-pow
2×pow-to-exp pow-exp *-commutative
1×cube-mult sub-neg flip3-- diff-log unpow3 pow-prod-down flip--
Counts
3 → 72
Calls
3 calls:
9.0ms
(- (* 0.954929658551372 x) (* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (pow x 3))))
49.0ms
(* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (pow x 3)))
31.0ms
(* (sqrt 0.12900613773279798) (pow x 3))

series503.0ms

Counts
3 → 9
Calls
3 calls:
243.0ms
(- (* 0.954929658551372 x) (* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (pow x 3))))
142.0ms
(* (sqrt 0.12900613773279798) (* (sqrt 0.12900613773279798) (pow x 3)))
118.0ms
(* (sqrt 0.12900613773279798) (pow x 3))

simplify1.5s

Counts
81 → 81
Iterations

Useful iterations: done (1.5s)

IterNodesCost
0991001
1244734
2886680
done5000678

prune197.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.12900613773279798 (* x x))
0.3b
(* (* 0.12900613773279798 0.12900613773279798) (pow x 6))
0.3b
(* (* 0.954929658551372 x) (* 0.954929658551372 x))
28.6b
(/ (- (* (* 0.954929658551372 x) (* 0.954929658551372 x)) (* (* 0.12900613773279798 0.12900613773279798) (pow x 6))) (* (+ (* 0.12900613773279798 (* x x)) 0.954929658551372) x))

rewrite277.0ms

Algorithm
rewrite-expression-head
Rules
48×pow1
39×add-exp-log
31×add-cbrt-cube
21×prod-exp
20×pow-prod-down
15×cbrt-unprod
12×add-sqr-sqrt
9×add-cube-cbrt *-un-lft-identity associate-*r*
5×associate-*l*
4×unpow-prod-down pow-sqr pow-prod-up add-log-exp unswap-sqr
3×times-frac *-commutative associate-/l*
2×cbrt-undiv pow-to-exp pow-plus div-exp associate-*l/ pow-exp associate-/r/ associate-/l/ sqr-pow
1×pow2 flip3-- frac-2neg flip3-+ div-sub swap-sqr clear-num associate-/r* flip-- flip-+ div-inv
Counts
4 → 106
Calls
4 calls:
32.0ms
(* 0.12900613773279798 (* x x))
48.0ms
(* (* 0.12900613773279798 0.12900613773279798) (pow x 6))
54.0ms
(* (* 0.954929658551372 x) (* 0.954929658551372 x))
136.0ms
(/ (- (* (* 0.954929658551372 x) (* 0.954929658551372 x)) (* (* 0.12900613773279798 0.12900613773279798) (pow x 6))) (* (+ (* 0.12900613773279798 (* x x)) 0.954929658551372) x))

series532.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(* 0.12900613773279798 (* x x))
60.0ms
(* (* 0.12900613773279798 0.12900613773279798) (pow x 6))
38.0ms
(* (* 0.954929658551372 x) (* 0.954929658551372 x))
405.0ms
(/ (- (* (* 0.954929658551372 x) (* 0.954929658551372 x)) (* (* 0.12900613773279798 0.12900613773279798) (pow x 6))) (* (+ (* 0.12900613773279798 (* x x)) 0.954929658551372) x))

simplify1.8s

Counts
118 → 118
Iterations

Useful iterations: done (1.8s)

IterNodesCost
01771728
14881585
221441335
done50001302

prune291.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes73.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
01011
1159
done159

end0.0ms

sample939.0ms

Algorithm
intervals
Results
677.0ms11993×body80valid